diff options
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 12490cdf..970edc67 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -140,9 +140,11 @@ try: COMPILER_OPTS # Can be set in ~/.emscripten, optionally except: COMPILER_OPTS = [] +# Force a simple, standard target as much as possible: target 32-bit linux, and disable various flags that hint at other platforms COMPILER_OPTS = COMPILER_OPTS + ['-m32', '-U__i386__', '-U__x86_64__', '-U__i386', '-U__x86_64', '-U__SSE__', '-U__SSE2__', '-U__MMX__', '-UX87_DOUBLE_ROUNDING', '-UHAVE_GCC_ASM_FOR_X87', '-DEMSCRIPTEN', '-U__STRICT_ANSI__', '-U__CYGWIN__', - '-D__STDC__'] + '-D__STDC__', '-Xclang', '-triple=i386-pc-linux-gnu'] + USE_EMSDK = not os.environ.get('EMMAKEN_NO_SDK') |