From 4ce3e9c7c11744abae52d7a3ae1a3962395784be Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 23 May 2024 10:41:10 +0200
Subject: Import test suite from charon

---
 tests/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tests/Makefile')

diff --git a/tests/Makefile b/tests/Makefile
index 8d40e8da..ff4baaba 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,4 +1,6 @@
+.PHONY: all
 all: test-fstar test-coq test-lean test-hol4
 
+.PHONY: test-%
 test-%:
 	cd $* && $(MAKE) all
-- 
cgit v1.2.3