aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2012-01-08 11:19:33 -0800
committerAlon Zakai <alonzakai@gmail.com>2012-01-08 11:19:33 -0800
commitaf942f1c89bb5d35e3641da46c39c6f27b8ffce4 (patch)
tree302b775b3e5e7cb1a7345f4553c78672820ef5cc /tools
parent227bc37b839f8a28185292f3906c0acd787be2a2 (diff)
fix and optimize cached header handling in test runner
Diffstat (limited to 'tools')
-rw-r--r--tools/shared.py4
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')