From bc23de7cc214a8c13625a3fd599cca3cca5560b9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 3 Aug 2010 21:38:44 +0000 Subject: Show test log in case of failure --- Makefile.devel | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.devel b/Makefile.devel index d386ff2a..dca47219 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 for $* run successfully on `date`"; else echo "Autotests for $* ran with failures (see $*/.autotest.log) on `date`"; 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 cat $*/.autotest.log; echo "Autotests for $* ran with failures on `date`"; exit 1; fi; fi testall.%: for prover in ${PROVERS}; do $(MAKE) test.$$prover EMACS=$*; done -- cgit v1.2.3