changeset 3432:5fc3d674ca3a

Correctly name output of dist-tar with .tgz, not .zip, extension. * binary-dist-rules.mk: Change dist-tar rule to produce a file with .tgz extension.
author Rik <rik@octave.org>
date Fri, 17 Jan 2014 13:04:28 -0800
parents a7c772aa106f
children 4779ae33e544
files binary-dist-rules.mk
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/binary-dist-rules.mk	Thu Jan 16 18:03:14 2014 -0500
+++ b/binary-dist-rules.mk	Fri Jan 17 13:04:28 2014 -0800
@@ -135,7 +135,7 @@
 define make-tar-dist
   echo "generating tar file..."
   cd $(TOP_DIR)/dist \
-    && tar -c -z -f $(OCTAVE_DIST_NAME).zip $(OCTAVE_DIST_NAME)
+    && tar -c -z -f $(OCTAVE_DIST_NAME).tgz $(OCTAVE_DIST_NAME)
 endef
 
 .PHONY: tar-dist