From 081083cfaa8ee0bb4a067cb8c931479bb0f31374 Mon Sep 17 00:00:00 2001
From: Tony Kelman <tony@kelman.net>
Date: Wed, 22 Oct 2014 08:26:33 -0700
Subject: [PATCH] add .tar.xz and .zip files to source-dist

(backport of 774f3c93f0cec1eaeebce63a8d45808a55e496df)
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 7d6de4ccc93d12..d05d926da27cc9 100644
--- a/Makefile
+++ b/Makefile
@@ -360,7 +360,7 @@ source-dist: git-submodules
 	# Create file source-dist.tmp to hold all the filenames that go into the tarball
 	echo "base/version_git.jl" > source-dist.tmp
 	git ls-files >> source-dist.tmp
-	ls deps/*.tar.gz deps/*.tar.bz2 deps/*.tgz >> source-dist.tmp
+	ls deps/*.tar.gz deps/*.tar.bz2 deps/*.tar.xz deps/*.tgz deps/*.zip >> source-dist.tmp
 	git submodule --quiet foreach 'git ls-files | sed "s&^&$$path/&"' >> source-dist.tmp
 
 	# Remove unwanted files