diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-01-08 11:19:33 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-08 11:19:33 -0800 |
| commit | af942f1c89bb5d35e3641da46c39c6f27b8ffce4 (patch) | |
| tree | 302b775b3e5e7cb1a7345f4553c78672820ef5cc /tools/shared.py | |
| parent | 227bc37b839f8a28185292f3906c0acd787be2a2 (diff) | |
fix and optimize cached header handling in test runner
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/shared.py b/tools/shared.py index 3d22c353..1d97ff4b 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -507,10 +507,6 @@ class Building: @staticmethod def emscripten(filename, append_ext=True, extra_args=[]): - # Add some headers by default. TODO: remove manually adding these in each test - if '-H' not in extra_args: - extra_args += ['-H', 'libc/fcntl.h,libc/sys/unistd.h,poll.h,libc/math.h,libc/langinfo.h,libc/time.h'] - # Run Emscripten settings = Settings.serialize() compiler_output = timeout_run(Popen(['python', EMSCRIPTEN, filename + ('.o.ll' if append_ext else ''), '-o', filename + '.o.js'] + settings + extra_args, stdout=PIPE), None, 'Compiling') |