diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -52,7 +52,7 @@ lua: test: $(NAME) ./$(NAME) Comment -r '[@0]' >/dev/null - ./$(NAME) -g ./grammars/bp.bp -p Grammar ./grammars/bp.bp >/dev/null + ./$(NAME) -g ./grammars/bp.bp '{Grammar}' ./grammars/bp.bp >/dev/null for test in tests/*.sh; do \ PATH=".:$$PATH" sh "$$test" <"$${test/.sh/.in}" | diff -q - "$${test/.sh/.out}" ||\ PATH=".:$$PATH" sh "$$test" <"$${test/.sh/.in}" | diff -y --color=always - "$${test/.sh/.out}"; \ @@ -62,7 +62,7 @@ tutorial: ./tutorial.sh leaktest: bp - valgrind --leak-check=full ./bp -l -g ./grammars/bp.bp -p Grammar ./grammars/bp.bp + valgrind --leak-check=full ./bp -l -g ./grammars/bp.bp '{Grammar}' ./grammars/bp.bp splint: splint -posix-lib -weak -unrecog -initallelements -fullinitblock $(CFILES) bp.c |