diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-12-21 17:13:04 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-12-21 17:13:04 -0800 |
| commit | da9f5bf544cce41433c875430191d243a6866662 (patch) | |
| tree | f5db3c2b92f96297dec0e263f268992303b4095e | |
| parent | 48569283d2e24ba988344caba3a0ac32753ead56 (diff) | |
fix o1.test_exceptions
| -rw-r--r-- | tests/runner.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/runner.py b/tests/runner.py index ae72ec49..a8060b21 100644 --- a/tests/runner.py +++ b/tests/runner.py @@ -1142,6 +1142,7 @@ if 'benchmark' not in str(sys.argv) and 'sanity' not in str(sys.argv): def test_exceptions(self): self.banned_js_engines = [NODE_JS] # node issue 1669, exception causes stdout not to be flushed + Settings.DISABLE_EXCEPTION_CATCHING = 0 src = ''' #include <stdio.h> |