From aa30ca778c2c044e3f526f869b30f53b56eaf6fb Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 8 Sep 2009 09:50:31 +0000
Subject: Remove devel. from testall target

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index a8ec996b..6ad5f29b 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -226,7 +226,7 @@ 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
 
 testall.%: 
-	for prover in ${PROVERS}; do $(MAKE) devel.test.$$prover EMACS=$*; done
+	for prover in ${PROVERS}; do $(MAKE) test.$$prover EMACS=$*; done
 
 
 ############################################################
-- 
cgit v1.2.3