fix makefile

tahina-pro · Oct 26, 2017 · f234b38 · f234b38
1 parent 97532b6
commit f234b38
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.ci/script.sh b/.ci/script.sh
@@ -19,5 +19,6 @@ echo -e "\e[31m=== Some info about the environment ===\e[0m"
 ocamlfind ocamlopt -config
 gcc --version
 fstar.exe --version
+$(which d8) --version
 
-make -C test all wasm
+make && make -C test all wasm