From 1f538b06ecf5dabb642b15c9bbaa890cbd5d2fa9 Mon Sep 17 00:00:00 2001
From: Birte Kristina Friesel <derf@finalrewind.org>
Date: Fri, 9 May 2025 14:31:20 +0200
Subject: TRNS: Remove unused WITH_{ALLOC,LOAD,FREE}_OVERHEAD Makefile options

---
 TRNS/Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/TRNS/Makefile b/TRNS/Makefile
index fd3f493..0a5f998 100644
--- a/TRNS/Makefile
+++ b/TRNS/Makefile
@@ -1,16 +1,13 @@
 NR_DPUS ?= 1
 NR_TASKLETS ?= 16
 ENERGY ?= 0
-WITH_ALLOC_OVERHEAD ?= 0
-WITH_LOAD_OVERHEAD ?= 0
-WITH_FREE_OVERHEAD ?= 0
 
 COMMON_INCLUDES := support
 HOST_SOURCES := $(wildcard host/*.c)
 DPU_SOURCES := $(wildcard dpu/*.c)
 
 COMMON_FLAGS := -Wall -Wextra -g -I${COMMON_INCLUDES}
-HOST_FLAGS := ${COMMON_FLAGS} -std=c11 -O3 `dpu-pkg-config --cflags --libs dpu` -DNR_TASKLETS=${NR_TASKLETS} -DNR_DPUS=${NR_DPUS} -DENERGY=${ENERGY} -DWITH_ALLOC_OVERHEAD=${WITH_ALLOC_OVERHEAD} -DWITH_LOAD_OVERHEAD=${WITH_LOAD_OVERHEAD} -DWITH_FREE_OVERHEAD=${WITH_FREE_OVERHEAD}
+HOST_FLAGS := ${COMMON_FLAGS} -std=c11 -O3 `dpu-pkg-config --cflags --libs dpu` -DNR_TASKLETS=${NR_TASKLETS} -DNR_DPUS=${NR_DPUS} -DENERGY=${ENERGY}
 DPU_FLAGS := ${COMMON_FLAGS} -O2 -DNR_TASKLETS=${NR_TASKLETS}
 
 QUIET = @
-- 
cgit v1.2.3