Merge pull request #543 from ewasm/lgtm-wavm

Enable wavm on lgtm
ewasm · May 22, 2019 · 80cf222 · 80cf222
2 parents 2c33a17 + d98216a
commit 80cf222
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lgtm.yml b/lgtm.yml
@@ -1,4 +1,4 @@
 extraction:
   cpp:
     configure:
-      command: cmake -DHERA_WABT=ON -DHERA_BINARYEN=ON
+      command: cmake -DHERA_WABT=ON -DHERA_BINARYEN=ON -DHERA_WAVM=ON