summaryrefslogtreecommitdiff
path: root/check.py
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-04-29 16:30:40 -0700
committerAlon Zakai <alonzakai@gmail.com>2016-04-29 16:30:40 -0700
commit199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f (patch)
treec3a7cc43a52a5b006d2ae6acd9470c18a778d15d /check.py
parenteb2ea67bf52eac93de977922763a0ee3787be240 (diff)
parentaf6b1a77673b1c49f4501918385bd463c50cb28b (diff)
downloadbinaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.tar.gz
binaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.tar.bz2
binaryen-199c7d3e558d4c2f3dc6be1e0fc826ca45b52b8f.zip
Merge pull request #416 from WebAssembly/full-validation-nice
Full validation
Diffstat (limited to 'check.py')
-rwxr-xr-xcheck.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/check.py b/check.py
index d59358311..977da0764 100755
--- a/check.py
+++ b/check.py
@@ -572,6 +572,7 @@ print '\n[ checking example testcases... ]\n'
cmd = [os.environ.get('CXX') or 'g++', '-std=c++11',
os.path.join('test', 'example', 'find_div0s.cpp'),
os.path.join('src', 'pass.cpp'),
+ os.path.join('src', 'wasm.cpp'),
os.path.join('src', 'passes', 'Print.cpp'),
'-Isrc', '-g', '-lasmjs', '-lsupport', '-Llib/.', '-pthread']
if os.environ.get('COMPILER_FLAGS'):