diff options
Diffstat (limited to 'tools/js-optimizer.js')
| -rw-r--r-- | tools/js-optimizer.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/js-optimizer.js b/tools/js-optimizer.js index bd591871..0e921cc6 100644 --- a/tools/js-optimizer.js +++ b/tools/js-optimizer.js @@ -274,6 +274,9 @@ function dumpSrc(ast) { // undefined, null. These cut down on size, but do not affect gzip size // and make JS engine's lives slightly harder (?) function unGlobalize(ast) { + + throw 'this is deprecated!'; // and does not work with parallel compilation + assert(ast[0] == 'toplevel'); var values = {}; // Find global renamings of the relevant values |