diff options
-rwxr-xr-x | tests/runner.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/runner.py b/tests/runner.py index 9095d395..74c75b28 100755 --- a/tests/runner.py +++ b/tests/runner.py @@ -276,6 +276,11 @@ process(sys.argv[1]) os.chdir(cwd) out = open(stdout, 'r').read() err = open(stderr, 'r').read() + if engine == SPIDERMONKEY_ENGINE: + if 'Successfully compiled asm.js code' in err: + print "[was asm.js'ified]" + else: + print "[failed to asm.js'ify]" if output_nicerizer: ret = output_nicerizer(out, err) else: |