aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile11
1 files changed, 5 insertions, 6 deletions
diff --git a/Makefile b/Makefile
index b8144fe..8ec1a3d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,16 +1,15 @@
-.POSIX:
.PHONY: all install clean
.SUFFIXES:
.SUFFIXES: .bash
-PREFIX = /usr/local
-BASH = /bin/bash
ALL = parcimini
+BASH = /bin/bash
+PREFIX = /usr/local
+all: $(ALL)
.bash:
$(BASH) -c :
- awk -v bash=$(BASH) 'NR == 1 { print "#!" bash } 1' $< > $@
+ awk -v interpreter=$(BASH) 'NR == 1 { $$1 ="#!" interpreter } 1' $< > $@
chmod +x ./$@
-all: $(ALL)
-install: $(ALL)
+install: parcimini
mkdir -p -- $(PREFIX)/bin
cp -- parcimini $(PREFIX)/bin
clean: