diff --git a/examples/Makefile b/examples/Makefile
index d1036e7b8f..eeff0c6a3c 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -39,4 +39,4 @@ test-bootstrapped: test-boostrapped-hello
 test-boostrapped-hello:
 	cd hello && ./bootstrapped-test.sh
 
-.PHONY: all verify-lake test time-bootstrap check-bootstrap test-bootstrapped
+.PHONY: all check-lake test time-bootstrap check-bootstrap test-bootstrapped