diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-08-28 09:07:34 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-08-28 09:07:34 -0700 |
| commit | f0812027a3fb3a924d2aae984cbd13e58c983320 (patch) | |
| tree | ba009662352595105929bf8269b0dd23a2c3c401 /src/settings.js | |
| parent | cfb8b8b7700295cb3d7184702e6671fa7e3151ce (diff) | |
FAKE_X86_FP80 option ; generalize bitcast ; minor toNiceIdent fix
Diffstat (limited to 'src/settings.js')
| -rw-r--r-- | src/settings.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index ed3437b1..1b1665bc 100644 --- a/src/settings.js +++ b/src/settings.js @@ -129,6 +129,10 @@ RUNTIME_TYPE_INFO = 0; // Whether to expose type info to the script at run time. // to more easily perform operations from handwritten JS on // objects with structures etc. +FAKE_X86_FP80 = 0; // Replaces x86_fp80 with double. This loses precision. It is better, + // if you can, to get the original source code to build without x86_fp80 + // (which is nonportable anyhow). + // Compiler debugging options DEBUG_TAGS_SHOWING = []; // Some useful items: |