diff options
-rwxr-xr-x | tools/js2c.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/js2c.py b/tools/js2c.py index 8685722c13..38cf39f816 100755 --- a/tools/js2c.py +++ b/tools/js2c.py @@ -330,6 +330,10 @@ def JS2C(source, target): def main(): natives = sys.argv[1] source_files = sys.argv[2:] + if source_files[-2] == '-t': + global TEMPLATE + TEMPLATE = source_files[-1] + source_files = source_files[:-2] JS2C(source_files, [natives]) if __name__ == "__main__": |