diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-11-22 19:34:22 +0100 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-11-22 19:34:22 +0100 |
commit | 65adacd99c9e4b1956441a867388da06aa18b5d7 (patch) | |
tree | 582be9a42ade41842a057e3b119ca096b4fc96bb /tools | |
parent | 5574093577a72ddc4c4563cf40dd643c1e74dd59 (diff) |
notice generated functions with $ in them
Diffstat (limited to 'tools')
-rw-r--r-- | tools/js_optimizer.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/js_optimizer.py b/tools/js_optimizer.py index f67b8d5c..5bed4cb7 100644 --- a/tools/js_optimizer.py +++ b/tools/js_optimizer.py @@ -53,7 +53,7 @@ def run(filename, passes, js_engine, jcache): jcache = False # If we process only generated code, find that and save the rest on the side - func_sig = re.compile('function (_\w+)\(') + func_sig = re.compile('function (_[\w$]+)\(') if suffix: pos = 0 gen_start = 0 |