diff options
author | Alon Zakai <alonzakai@gmail.com> | 2011-09-25 10:33:17 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2011-09-25 10:33:17 -0700 |
commit | 2c342b0b0a937d537811f71047441c3f6e0b74f2 (patch) | |
tree | f7ef1986bd79395359d7d15b875eea05bfab61d2 | |
parent | c11a766477cf0da6bf3ac9dca66d6fc935f355be (diff) |
fix bug with no headers passed to emscripten.py
-rwxr-xr-x | emscripten.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/emscripten.py b/emscripten.py index c103af87..e316e806 100755 --- a/emscripten.py +++ b/emscripten.py @@ -168,7 +168,7 @@ def main(args): # Add header defines to settings defines = {} include_root = path_from_root('system', 'include') - headers = args.headers[0].split(',') + headers = args.headers[0].split(',') if len(args.headers) > 0 else [] while len(headers) > 0: header = headers.pop(0) if not os.path.isabs(header): |