Make minor modifications to the Makefile

1 files changed, 5 insertions, 5 deletions

diff --git a/Makefile b/Makefile
index e92b2b9b..f75d00be 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ ifeq (3.81,$(MAKE_VERSION))
     install make, then invoke gmake instead of make)
 endif
 
-all: build-test-verify
+all: build-tests-verify
 
 CHARON_HOME = ../charon
 CHARON_EXEC = $(CHARON_HOME)/charon
@@ -25,7 +25,7 @@ SUBDIR :=
 
 # Build the project, test it and verify the generated files
 .PHONY: build-test-verify
-build-test-verify: build test verify
+build-tests-verify: build tests verify
 
 # Build the project
 .PHONY: build
@@ -33,15 +33,15 @@ build:
 	dune build src/main.exe
 
 # Test the project by translating test files to F*
-.PHONY: test
-test: build trans-no_nested_borrows trans-paper \
+.PHONY: tests
+tests: build trans-no_nested_borrows trans-paper \
 	trans-hashmap trans-hashmap_main \
 	trans-external trans-constants \
 	trans-nll-betree_nll trans-nll-betree_main
 
 # Verify the F* files generated by the translation
 .PHONY: verify
-verify: build test
+verify: build tests
 	cd tests && $(MAKE) all
 
 # Reformat the project