diff options
author | William S Fulton <wsf@fultondesigns.co.uk> | 2013-05-12 21:27:38 +0100 |
---|---|---|
committer | William S Fulton <wsf@fultondesigns.co.uk> | 2013-05-12 21:27:38 +0100 |
commit | de12f6c25e6e50724626d4bf954d16bde59ef4cd (patch) | |
tree | 9e15f8ffa86ab2a658eb1ffdbb41afc2aecf3d3f /Tools | |
parent | a3e23668824aa2f4a397fef95cedaee25d6d381f (diff) | |
download | swig-de12f6c25e6e50724626d4bf954d16bde59ef4cd.tar.gz |
Fix release script
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/mkdist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/mkdist.py b/Tools/mkdist.py index 8bec81ea5..234c768f2 100755 --- a/Tools/mkdist.py +++ b/Tools/mkdist.py @@ -70,7 +70,7 @@ os.system("git tag -a -m " + tag + " " + tag) == 0 or failed() 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() +os.system("(cd .. && git archive --prefix=" + outdir + " " + tag + " . | tar -xf -)") == 0 or failed() # Remove the debian directory -- it's not official |