diff options
Diffstat (limited to 'src/test/Makefile')
| -rw-r--r-- | src/test/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/test/Makefile b/src/test/Makefile index a283e735..bdc0587b 100644 --- a/src/test/Makefile +++ b/src/test/Makefile @@ -7,5 +7,8 @@ gitignore: check test:: ./runtests.sh +verbose-test: + VERBOSE=yes ./runtests.sh + clean: - rm -f *.out + rm -rf *.out tmp-* |