Commit 781c009ef9953546c994f624aa0bf368ee0cef9a

Thomas de Grivel 2023-06-11T10:42:14

make test_libc3

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/Makefile b/Makefile
index 4ed70d7..59d0b39 100644
--- a/Makefile
+++ b/Makefile
@@ -143,7 +143,7 @@ test_ic3: build
 test_ic3_debug: debug
 	${MAKE} -C test test_ic3_debug
 
-test_libc3: test
+test_libc3: build
 	${MAKE} -C test test_libc3
 
 .PHONY: all asan c3s cov clean clean_cov debug gcovr ic3 install libc3 libtommath license test test_asan test_cov test_debug test_gcovr test_ic3