diff options
Diffstat (limited to 'cppe/makedist.py')
-rwxr-xr-x | cppe/makedist.py | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/cppe/makedist.py b/cppe/makedist.py index 10a90fd2628..64e6e888a32 100755 --- a/cppe/makedist.py +++ b/cppe/makedist.py @@ -192,7 +192,7 @@ def fixVersion(files, version): # # Check arguments # -tag = "-rHEAD" +tag = "HEAD" skipDocs = 0 verbose = 0 for x in sys.argv[1:]: @@ -209,7 +209,7 @@ for x in sys.argv[1:]: usage() sys.exit(1) else: - tag = "-r" + x + tag = x # # Remove any existing "dist" directory and create a new one. @@ -218,17 +218,19 @@ distdir = "dist" if os.path.exists(distdir): shutil.rmtree(distdir) os.mkdir(distdir) -os.chdir(distdir) +os.mkdir(os.path.join(distdir, "icee")) # -# Export sources from CVS. +# Export sources from git. # -print "Checking out CVS tag " + tag + "..." +print "Checking out sources " + tag + "..." if verbose: - quiet = "" + quiet = "-v" else: - quiet = "-Q" -os.system("cvs " + quiet + " -d cvs.zeroc.com:/home/cvsroot export " + tag + " icee") + quiet = "" +os.system("git archive " + quiet + " " + tag + " . | (cd dist/icee && tar xf -)") + +os.chdir(distdir) # # Remove files. |