diff options
author | Lu Wang <coolwanglu@gmail.com> | 2013-12-17 12:05:10 +0800 |
---|---|---|
committer | Lu Wang <coolwanglu@gmail.com> | 2013-12-17 12:05:10 +0800 |
commit | f7f3ae7fce97483e9a00ea9a1bd1742f5221bb1c (patch) | |
tree | 4445c62837d36b20898512dd861ef99106502458 /tools | |
parent | 6e40c203ccdbab37acf4ddf3fafaefc5f21992a0 (diff) |
fix parameter check
Diffstat (limited to 'tools')
-rw-r--r-- | tools/file_packager.py | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/tools/file_packager.py b/tools/file_packager.py index 8b8aca8d..bd3f669d 100644 --- a/tools/file_packager.py +++ b/tools/file_packager.py @@ -84,30 +84,36 @@ no_heap_copy = True for arg in sys.argv[1:]: if arg == '--preload': - leading = 'preload' has_preloaded = True + leading = 'preload' elif arg == '--embed': leading = 'embed' elif arg == '--exclude': leading = 'exclude' elif arg == '--compress': - leading = 'compress' compress_cnt = 1 Compression.on = True + leading = 'compress' elif arg == '--no-force': force = False + leading = '' elif arg == '--use-preload-cache': use_preload_cache = True + leading = '' elif arg == '--no-heap-copy': no_heap_copy = False + leading = '' elif arg.startswith('--js-output'): jsoutput = arg.split('=')[1] if '=' in arg else None + leading = '' elif arg.startswith('--crunch'): from shared import CRUNCH crunch = arg.split('=')[1] if '=' in arg else '128' + leading = '' elif arg.startswith('--plugin'): plugin = open(arg.split('=')[1], 'r').read() eval(plugin) # should append itself to plugins + leading = '' elif leading == 'preload' or leading == 'embed': mode = leading if '@' in arg: @@ -130,6 +136,9 @@ for arg in sys.argv[1:]: elif compress_cnt == 3: Compression.js_name = arg compress_cnt = 0 + else: + print >> sys.stderr, 'Unknown parameter:', arg + sys.exit(1) if (not force) and len(data_files) == 0: has_preloaded = False |