From 995ea85948b76219c60cf67f30e2f02583e8d2f0 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 10 Nov 2022 11:24:43 +0100
Subject: Make a minor modification

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1d6d4b7d..9f71079b 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,6 @@ endif
 all: build-tests-verify
 
 CHARON_HOME = ../charon
-CHARON_EXEC = $(CHARON_HOME)/charon
 DEST_DIR = tests
 
 # We use those variables, whose definition depends on the rule we apply
-- 
cgit v1.2.3