diff options
Diffstat (limited to 'mnv/runtime/indent/Makefile')
| -rw-r--r-- | mnv/runtime/indent/Makefile | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/mnv/runtime/indent/Makefile b/mnv/runtime/indent/Makefile new file mode 100644 index 0000000000..cab6c7e789 --- /dev/null +++ b/mnv/runtime/indent/Makefile @@ -0,0 +1,27 @@ +# Portable Makefile for running indent tests. + +.SUFFIXES: +.PHONY: test clean testclean + +MNVPROG = mnv +MNVRUNTIME = .. + +# Run the tests that didn't run yet or failed previously. +# If a test succeeds a testdir/*.out file will be written. +# If a test fails a testdir/*.fail file will be written. +test: + MNVRUNTIME=$(MNVRUNTIME) $(MNVPROG) --clean --not-a-term -u testdir/runtest.mnv || \ + { \ + retval=$$?; \ + for fail in testdir/*.fail; do \ + [ -f "$$fail" ] || continue; \ + echo "$$fail:"; \ + cat "$$fail"; \ + done; \ + exit $$retval; \ + } + @echo "INDENT TESTS: DONE" + + +clean testclean: + rm -f testdir/*.fail testdir/*.out |