From de12f6c25e6e50724626d4bf954d16bde59ef4cd Mon Sep 17 00:00:00 2001
From: William S Fulton <wsf@fultondesigns.co.uk>
Date: Sun, 12 May 2013 21:27:38 +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 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