diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/Makefile | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/test/Makefile b/test/Makefile deleted file mode 100644 index b57b8903..00000000 --- a/test/Makefile +++ /dev/null @@ -1,14 +0,0 @@ -all: - -install: - -ignore: - -check test:: - ./runtests.sh - -verbose-test: - VERBOSE=yes ./runtests.sh - -clean: - rm -rf *.out tmp-* |