aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-03 13:54:16 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-03 13:54:16 +0200
commit64d8a3941d908d58bd12830929cc909e947810a9 (patch)
treeb90aebe2368c5c3fdb0ed7a6c41a66801a62df96
parent1b89ef0181eb9f016a1a2fc246ba2a02cd5b336d (diff)
Hardcode the Ftag versionHEADmaster
It is ugly but makes things much easier, espacially with the dist rule.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ee5cd1a..93780f0 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ LIBS ?=
-FTAG_VERSION := $(shell git tag --list | tail -n 1 | tr -d 'v')
+FTAG_VERSION := 1.0
FTAG_ARCHIVE_DIR := ftag-$(FTAG_VERSION)
FTAG_ARCHIVE := ftag-$(FTAG_VERSION).tar.gz