From e5f14c352d1729503e7a4e502ddf8ca048a6a78e Mon Sep 17 00:00:00 2001
From: "Alex A. Naanou" <alex.nanou@gmail.com>
Date: Thu, 18 Jan 2024 16:46:27 +0300
Subject: [PATCH] fix...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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