aboutsummaryrefslogtreecommitdiff
path: root/tools/shared.py
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-08-17 12:54:49 -0700
committerAlon Zakai <alonzakai@gmail.com>2013-08-17 12:54:49 -0700
commit2dc7b87600df12ff7cf6cabe42cd4c9d251d44de (patch)
treeb358d2470b4588d084f986953c1a5962c92b8d2f /tools/shared.py
parentbff2b8740aba888bd67ee93198abc8fa0e116b80 (diff)
parent10d1cb9f3e515778e7841b61df4c6ad94c3d8352 (diff)
Merge pull request #1529 from waywardmonkeys/compat-headers
Compat headers
Diffstat (limited to 'tools/shared.py')
-rw-r--r--tools/shared.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py
index 917f548e..0d0f20d4 100644
--- a/tools/shared.py
+++ b/tools/shared.py
@@ -550,6 +550,7 @@ if USE_EMSDK:
# allows projects to override them)
EMSDK_OPTS = ['-nostdinc', '-Xclang', '-nobuiltininc', '-Xclang', '-nostdsysteminc',
'-Xclang', '-isystem' + path_from_root('system', 'local', 'include'),
+ '-Xclang', '-isystem' + path_from_root('system', 'include', 'compat'),
'-Xclang', '-isystem' + path_from_root('system', 'include', 'libcxx'),
'-Xclang', '-isystem' + path_from_root('system', 'include'),
'-Xclang', '-isystem' + path_from_root('system', 'include', 'emscripten'),