diff options
-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): |