diff options
Diffstat (limited to 'util')
| -rw-r--r-- | util/Makefile | 13 | ||||
| -rwxr-xr-x | util/t/dic/mup | 6 |
2 files changed, 19 insertions, 0 deletions
diff --git a/util/Makefile b/util/Makefile new file mode 100644 index 00000000..b5ce668a --- /dev/null +++ b/util/Makefile @@ -0,0 +1,13 @@ +usage:;cat Makefile + +test: export PATH := "$(PWD)/bin:$(PATH)" +test: + @tests="`find t -type f -executable`"; \ + i=1; \ + echo $$i..`echo "$$tests" | wc -l`; \ + for t in $$tests; do \ + ./$$t; \ + case $$? in 0) ok=ok;; *) ok='not ok';; esac; \ + echo $$ok $$i - $$t; \ + (( i++ )); \ + done diff --git a/util/t/dic/mup b/util/t/dic/mup new file mode 100755 index 00000000..a31e0f6c --- /dev/null +++ b/util/t/dic/mup @@ -0,0 +1,6 @@ +#! /bin/sh +set -euf + +dic test | + sed 's/\[[^m]*m//g' | + grep -q '^test - der Test$' |