From 9a241bb8bac0746db082e7e068487829b09fbc83 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sat, 21 Dec 2024 08:13:36 +0100
Subject: [PATCH] Makefile: compilation now works as expected.

---
 c/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/c/Makefile b/c/Makefile
index 6b43baa..a8fca5d 100644
--- a/c/Makefile
+++ b/c/Makefile
@@ -12,7 +12,7 @@ TESTS=$(addsuffix .test, $(patsubst %.c,%,$(CFILES)))
 all: $(BINDIR) $(EXEC)
 
 $(BINDIR):;         -mkdir -p $(BINDIR)
-$(EXEC): $(CFILES); $(CC) $(LDFLAGS) $< -o $@
+$(EXEC): $(CFILES); $(CC) $(LDFLAGS) `basename $@`.c -o $@
 clean:;             @-rm $(EXEC)
 
 # to test a binary "prog" : make prog.test