aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-02-08 12:07:51 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2026-02-08 12:07:51 +0100
commita6df8fe0b343ac8c23cd8ff2c46d28ff750e9f8e (patch)
treeaea58a8ec92c548406e129f8652a54065a231c3e /Makefile
parent29700305ec9e66d5b481df277a03752139483d65 (diff)
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.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
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