summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2015-01-11 10:16:17 -0800
committerKaz Kylheku <kaz@kylheku.com>2015-01-11 10:16:17 -0800
commit7578fba17d68b6822bd089a0224dd5e736c17365 (patch)
treecd7a2df2777d4ffeec9d4c4f02cf2ee376462353 /Makefile
parent384262e2f0effb4b7bbd2effa9311899fa253799 (diff)
downloadtxr-7578fba17d68b6822bd089a0224dd5e736c17365.tar.gz
txr-7578fba17d68b6822bd089a0224dd5e736c17365.tar.bz2
txr-7578fba17d68b6822bd089a0224dd5e736c17365.zip
* Makefile (retest): New phony target for convenience.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 8decdd7e..8e1e2733 100644
--- a/Makefile
+++ b/Makefile
@@ -268,6 +268,9 @@ tst/%.out: %.txr
tests.clean:
rm -rf tst
+.PHONY: retest
+retest: tests.clean tests
+
define GREP_CHECK
$(V)if [ $$(grep -E $(1) $(SRCS) | wc -l) -ne $(3) ] ; then \
echo "New '$(2)' occurrences have been found:" ; \