diff options
Diffstat (limited to 'scripts/make_src.py')
| -rw-r--r-- | scripts/make_src.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/make_src.py b/scripts/make_src.py index bf732028..58a1e1a7 100644 --- a/scripts/make_src.py +++ b/scripts/make_src.py @@ -3,6 +3,9 @@ import os, shutil, zipfile, sys version = sys.argv[1] svn_tree = "tags/release-%s" % version +if len(sys.argv) > 2: + svn_tree = sys.argv[2] + # make clean if 1: try: shutil.rmtree("srcwork") |