diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 09:50:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 09:50:31 +0000 |
| commit | aa30ca778c2c044e3f526f869b30f53b56eaf6fb (patch) | |
| tree | 7b45a2dc71b4926c0c0874d32bed93be9cacad34 /Makefile.devel | |
| parent | 5688824694e6fa1ee0e524b2b3281c66a46b9ecd (diff) | |
Remove devel. from testall target
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 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 ############################################################ |