1 files changed, 2 insertions, 2 deletions
diff --git a/check.py b/check.py
index c0733cb6c..722371f2a 100755
--- a/check.py
+++ b/check.py
@@ -276,8 +276,8 @@ for t in sorted(os.listdir(os.path.join('test', 'passes'))):
   if t.endswith('.wast'):
     print '..', t
     passname = os.path.basename(t).replace('.wast', '')
-    opt = '-O' if passname == 'O' else '--' + passname
-    cmd = [os.path.join('bin', 'binaryen-shell'), opt, os.path.join('test', 'passes', t), '--print']
+    opts = ['-O'] if passname == 'O' else ['--' + p for p in passname.split('_')]
+    cmd = [os.path.join('bin', 'binaryen-shell')] + opts + [os.path.join('test', 'passes', t), '--print']
     actual = run_command(cmd)
     fail_if_not_identical(actual, open(os.path.join('test', 'passes', passname + '.txt')).read())