diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 18:39:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 18:39:13 +0000 |
commit | 129a482f636228243e440fbbe0f891284bf0ce4e (patch) | |
tree | 0171c4fac80b970bdd6784b43b9341eec983f9e8 /Makefile.devel | |
parent | cb9733da757e34c9dfaf1cba00b121dde606bfa7 (diff) |
Resurrect autotest framework
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 8d8b244e..d386ff2a 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -211,7 +211,7 @@ tags: $(EL) $(TAGS_EXTRAS) # Run tests for a particular prover and particular Emacs # test.%: - if [ -f "$*/$*-autotest.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-autotest.el -f eval-current-buffer; then echo "Autotests run successfully on `date`" > $*/.autotest.txt; else rm -f $*/autotest.txt; exit 1; fi; fi + if [ -f "$*/$*-autotest.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-autotest.el -f eval-current-buffer; then echo "Autotests for $* run successfully on `date`"; else echo "Autotests for $* ran with failures (see $*/.autotest.log) on `date`"; exit 1; fi; fi testall.%: for prover in ${PROVERS}; do $(MAKE) test.$$prover EMACS=$*; done |