diff options
Diffstat (limited to 'check.py')
-rwxr-xr-x | check.py | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -18,13 +18,15 @@ import os, shutil, sys, subprocess, difflib, json, time interpreter = None requested = [] -torture = True +torture = False # XXX fix this when they pass again for arg in sys.argv[1:]: if arg.startswith('--interpreter='): interpreter = arg.split('=')[1] print '[ using wasm interpreter at "%s" ]' % interpreter assert os.path.exists(interpreter), 'interpreter not found' + elif arg == '--torture': + torture = True elif arg == '--no-torture': torture = False else: |