diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile | 12 | ||||
-rw-r--r--[-rwxr-xr-x] | doomsh.bash (renamed from doomsh) | 3 |
3 files changed, 14 insertions, 2 deletions
@@ -1,3 +1,4 @@ +/doomsh /tests/files /tests/mem /tests/stack diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..fbb7a46 --- /dev/null +++ b/Makefile @@ -0,0 +1,12 @@ +.PHONY: all clean +.SUFFIXES: +.SUFFIXES: .bash +ALL = doomsh +BASH = /bin/bash +all: $(ALL) +.bash: + $(BASH) -c : + awk -v interpreter=$(BASH) 'NR == 1 { $$1 ="#!" interpreter } 1' $< > $@ + chmod +x ./$@ +clean: + rm -f -- $(ALL) @@ -1,5 +1,4 @@ -#!/usr/bin/env bash - +#!bash # # doomsh: Play with low ulimits in Bash # |