Fix binary-dist target with xz/gzip
authorAustin Seipp <austin@well-typed.com>
Fri, 28 Feb 2014 22:28:28 +0000 (16:28 -0600)
committerAustin Seipp <austin@well-typed.com>
Fri, 28 Feb 2014 22:28:29 +0000 (16:28 -0600)
This was harmless but annoying: we forgot to take the compression
extention into account when copying the binary dist out of bindistprep

Signed-off-by: Austin Seipp <austin@well-typed.com>
Makefile

index ce67359..6872cb3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -72,7 +72,7 @@ endif
        $(MAKE) -r --no-print-directory -f ghc.mk phase=final $@
 
 binary-dist: binary-dist-prep
-       mv bindistprep/*.tar.bz2 .
+       mv bindistprep/*.tar.$(TAR_COMP_EXT) .
 
 binary-dist-prep:
 ifeq "$(mingw32_TARGET_OS)" "1"