From d98216a847c320e340755b2453a30f919fc2107c Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Wed, 22 May 2019 16:55:13 +0100 Subject: [PATCH] Enable wavm on lgtm --- lgtm.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lgtm.yml b/lgtm.yml index d750cfc7b..fd2223d57 100644 --- 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