From e441c40a3d89ed1bb9ea382dfdca3640fb7b04b9 Mon Sep 17 00:00:00 2001 From: tydeu Date: Mon, 13 Sep 2021 12:52:37 -0400 Subject: [PATCH] chore: fix typo in Makefile --- examples/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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