diff options
Diffstat (limited to 'src/test/Makefile')
| -rw-r--r-- | src/test/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/test/Makefile b/src/test/Makefile index e1747c25..c3e879ea 100644 --- a/src/test/Makefile +++ b/src/test/Makefile @@ -1,9 +1,9 @@ all: -check: +install: + +check test:: ./symbols.sh clean: rm -f *.out - -.PHONY: all check clean |