Added ./make.sh git export which generates a gzipped tarball.

diff --git a/tools/make-git b/tools/make-git
index 156f7018c8a078120f92f54e18dab8b6a19be40a..60b4776327f41b19c0b61e274d8f76cc144ce28f 100644 (file)
--- a/tools/make-git
+++ b/tools/make-git
@@ -90,3 +90,7 @@ git_log() {
        
        beautify message DONE
 }
+
+git_export() {
+       git archive HEAD | gzip -9 > ${SNAME}-${VERSION}.tar.gz
+}

diff --git a/tools/make-interactive b/tools/make-interactive
index b3352ae7b224a5e1fffc1c59531908ff1e9d224f..fcee343f8adc6949e982fffd0e349d903d203574 100644 (file)
--- a/tools/make-interactive
+++ b/tools/make-interactive
@@ -196,6 +196,9 @@ git)
                        clear
                        git_commit $*
                        ;;
+               dist|export|archive)
+                       git_export
+                       ;;
                push)
                        git_push
                        ;;