From a3e23668824aa2f4a397fef95cedaee25d6d381f Mon Sep 17 00:00:00 2001 From: William S Fulton Date: Sun, 12 May 2013 19:16:42 +0100 Subject: [PATCH] Fix release script --- Tools/mkdist.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/mkdist.py b/Tools/mkdist.py index 1585523cf..8bec81ea5 100755 --- a/Tools/mkdist.py +++ b/Tools/mkdist.py @@ -68,8 +68,8 @@ print "Tagging release" tag = "'rel-" + version + "'" os.system("git tag -a -m " + tag + " " + tag) == 0 or failed() -print "Grabbing tagged release git repository using 'git archive' into " + outdir outdir = os.path.basename(os.getcwd()) + "/" + dirname + "/" +print "Grabbing tagged release git repository using 'git archive' into " + outdir os.system("(cd .. && git archive --prefix=" + outdir + tag + " . | tar -xf -)") == 0 or failed() # Remove the debian directory -- it's not official