kc3-lang/kc3

diff --git a/Makefile b/Makefile
index 9a48a27..d87942d 100644
--- a/Makefile
+++ b/Makefile
@@ -134,6 +134,7 @@ lldb_test: debug
 
 test: build
 	${MAKE} -C test test
+	if ${HAVE_ASAN}; then ${MAKE} test_asan; fi
 
 test_asan: asan
 	${MAKE} -C test test_asan
diff --git a/test/Makefile b/test/Makefile
index 3b46b03..2b898b6 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -78,7 +78,6 @@ lldb_test: debug
 test: libc3_test
 	time ./libc3_test
 	IC3=${SRC_TOP}/ic3/ic3 time ./ic3_test
-	if ${HAVE_ASAN}; then ${MAKE} test_asan; fi
 
 test_asan: libc3_test_asan
 	time ./libc3_test_asan