From a6df8fe0b343ac8c23cd8ff2c46d28ff750e9f8e Mon Sep 17 00:00:00 2001
From: Tristan Riehs <tristan.riehs@inria.fr>
Date: Sun, 8 Feb 2026 12:07:51 +0100
Subject: Chane default ftag root and move ftag executable

Put ftag executable at the root for convenience. Make sure the default
ftag root contains only ftag-related stuff and is not just called "ftag"
to avoid collision with the executable name.
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 8028648..acb88db 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-export FTAG_ROOT ?= $(shell pwd)/ftag
+export FTAG_ROOT ?= $(shell pwd)/ftag_root
 export PROG      ?= ftag
 export CFLAGS    ?= -O0 -g3
 export LDFLAGS   ?=
@@ -14,6 +14,7 @@ all: $(PROG)
 
 $(PROG):
 	make -C src
+	mv src/$(PROG) ./
 
 clean:
 	make -C src clean
-- 
cgit v1.2.3