diff options
Diffstat (limited to 'bash/Makefile')
| -rw-r--r-- | bash/Makefile | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/bash/Makefile b/bash/Makefile new file mode 100644 index 0000000..53f0d09 --- /dev/null +++ b/bash/Makefile @@ -0,0 +1,25 @@ +TESTS = tests/types.sh tests/reader.sh + +SOURCES = types.sh reader.sh stepA_more.sh + +all: mal.sh + +mal.sh: $(SOURCES) + cat $+ > $@ + echo "#!/bin/bash" > $@ + cat $+ | grep -v "^source " >> $@ + chmod +x $@ + +clean: + rm -f mal.sh + +.PHONY: stats tests $(TESTS) + +stats: $(SOURCES) + @wc $^ + +tests: $(TESTS) + +$(TESTS): + @echo "Running $@"; \ + bash $@ || exit 1; \ |
