diff options
Diffstat (limited to 'scripts/make_src.py')
| -rw-r--r-- | scripts/make_src.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/make_src.py b/scripts/make_src.py index fd769b99..ba192c61 100644 --- a/scripts/make_src.py +++ b/scripts/make_src.py @@ -1,5 +1,9 @@ import os, shutil, zipfile, sys +if len(sys.argv) <= 1: + print "%s VERSION [SVN TREE]" % sys.argv[0] + sys.exit(-1) + version = sys.argv[1] svn_tree = "tags/release-%s" % version |