diff --git a/Makefile b/Makefile
index d474610..9a48a27 100644
--- a/Makefile
+++ b/Makefile
@@ -29,7 +29,7 @@ all: gen
${MAKE} -C test all
asan:
- ${GMAKE} -C libffi asan
+ ${GMAKE} -C libffi all
${MAKE} -C libtommath asan
${MAKE} -C libc3 asan
${MAKE} -C ic3 asan
diff --git a/test/Makefile b/test/Makefile
index 2b898b6..3b46b03 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -78,6 +78,7 @@ 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