diff options
Diffstat (limited to 'src/preamble.js')
| -rw-r--r-- | src/preamble.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/preamble.js b/src/preamble.js index 8bab177f..9dfacca7 100644 --- a/src/preamble.js +++ b/src/preamble.js @@ -34,6 +34,10 @@ function __Z18UNPROTECT_HEAPADDRPv(dest) { INDENT = ''; #endif +#if EXECUTION_TIMEOUT +START_TIME = Date.now(); +#endif + function abort(text) { text = "ABORT: " + text; print(text + "\n"); |