diff options
Diffstat (limited to 'src/preamble.js')
-rw-r--r-- | src/preamble.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/preamble.js b/src/preamble.js index fb9d93c9..659b3869 100644 --- a/src/preamble.js +++ b/src/preamble.js @@ -813,6 +813,7 @@ function addRunDependency(id) { if (id) { assert(!runDependencyTracking[id]); runDependencyTracking[id] = 1; +#if ASSERTIONS if (runDependencyWatcher === null && typeof setInterval !== 'undefined') { // Check for missing dependencies every few seconds runDependencyWatcher = setInterval(function() { @@ -827,8 +828,9 @@ function addRunDependency(id) { if (shown) { Module.printErr('(end of list)'); } - }, 6000); + }, 10000); } +#endif } else { Module.printErr('warning: run dependency added without ID'); } |