diff options
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index ac4606dc240..a354ab417ce 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -3632,7 +3632,7 @@ class JavaScriptMapping(Mapping): "serialize" : [False], "mx" : [False], "es5" : [True] if current.config.es5 else [False, True], - "worker" : [False, True] if current.config.browser else [False], + "worker" : [False, True] if current.config.browser and current.config.browser != "Ie" else [False], } return options |