Makefile: remove phony targets

kframework · Jun 14, 2020 · c341f96 · c341f96
1 parent b82de8c
commit c341f96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -25,7 +25,7 @@ export PATH
 KWASM_MAKE := make --directory $(KWASM_SUBMODULE) BUILD_DIR=../../$(BUILD_DIR) RELEASE=$(RELEASE)
 
 .PHONY: all clean deps                  \
-        build build-llvm build-haskell  \
+        build                           \
         test test-execution test-simple \
         test-prove                      \
         media presentations reports