From e95e4508136f78142d71effffac55447b368eb32 Mon Sep 17 00:00:00 2001
From: "Luca S." <luca.salvestrini@rozro.com>
Date: Mon, 26 Oct 2026 08:27:28 +0100
Subject: [PATCH] Add CONFIG parameter on make

---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Makefile b/Makefile
index a989e034..7d122b2d 100644
--- a/Makefile
+++ b/Makefile
@@ -8,10 +8,6 @@ HTML_LOCATION = 262144
 # machine with its own configuration: make MACHINE=<name> CONFIG=<file>
 CONFIG ?= config.txt
 
-# Startup configuration embedded in the image. Override it to build a specific
-# machine with its own configuration: make MACHINE=<name> CONFIG=<file>
-CONFIG ?= config.txt
-
 SDCC_PREFIX = toolchain/sdcc-$(shell cat sdcc/* | cksum | cut -d' ' -f1)
 ifeq ($(origin CC),default)
 SDCC = $(SDCC_PREFIX)/bin/sdcc