commit f7db4cf8582d596d7c81c04f2b63642111cddf02
parent 7bece77674b1802497959d764f5cd603abdd09df
Author: Drew DeVault <sir@cmpwn.com>
Date: Fri, 20 Aug 2021 19:13:23 +0200
Makefile: add HAREFLAGS
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -1,6 +1,7 @@
.POSIX:
.SUFFIXES:
HARE=hare
+HAREFLAGS=
utils=\
cat \
@@ -19,7 +20,7 @@ clean:
.SUFFIXES: .ha
.ha:
- $(HARE) build -o $@ $<
+ $(HARE) build $(HAREFLAGS) -o $@ $<
cat: cat.ha main/main.ha
false: false.ha