diff --git a/Makefile b/Makefile
index bef1fdf..2690b0e 100644
--- a/Makefile
+++ b/Makefile
@@ -88,7 +88,7 @@ core: config $(CORE_CTs)
 
 
 .PHONY: minimal
-minimal: core $(BASE_CTs)
+minimal: core $(MINIMAL_CTs)
 
 
 .PHONY: dev