Export given treeish or HEAD

diff --git a/mk-distr b/mk-distr
index ce01503798e6e35286c40605976cc7458977de1e..5258d4f3d340b0df6841e1e2e62795d843acf8a4 100755 (executable)
--- a/mk-distr
+++ b/mk-distr
@@ -8,14 +8,10 @@
 # __license__ = "GNU GPL"
 
 
-if [ -n "$1" ]; then
-   git checkout "$1"
-fi &&
-
 umask 022 &&
 prog_dir="`pwd`" &&
 
-git archive --format=tar --prefix=bookmarks_db/ HEAD |
+git archive --format=tar --prefix=bookmarks_db/ "${1:-HEAD}" |
    (cd "$HOME/tmp" && exec tar xf -) &&
 
 cd "$HOME/tmp/bookmarks_db" &&