From 086308d7d5a418dd9298055cceb9a2c3085e9858 Mon Sep 17 00:00:00 2001 From: William S Fulton Date: Sat, 15 Oct 2005 01:41:14 +0000 Subject: [PATCH] remove tarball if exists git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk/SWIG@7663 626c5289-ae23-0410-ae9c-e8d60b6d4f22 --- Tools/mkdist.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Tools/mkdist.py b/Tools/mkdist.py index 604cf5652..ac33c6014 100755 --- a/Tools/mkdist.py +++ b/Tools/mkdist.py @@ -19,10 +19,13 @@ if string.lower(dirname) != dirname: print "directory name ("+dirname+") should be in lowercase" sys.exit(0) -# If directory exists, remove it +# If directory and tarball exist, remove it print "Removing ", dirname os.system("rm -rf "+dirname) +print "Removing old tarball "+dirname+".tar.gz if exists" +os.system("rm -f "+dirname+".tar.gz") + # Do a CVS export on the directory name print "Checking out SWIG"