New 'make recheck' operation

This commit is contained in:
Juan Jose Garcia Ripoll 2011-12-11 00:17:16 +01:00
parent 3f8e05ce29
commit a480e845c0
2 changed files with 4 additions and 0 deletions

View file

@ -116,6 +116,8 @@ realclean: distclean
check:
cd build; $(MAKE) check
recheck:
cd tests; $(MAKE) recheck
# ==================== Various means of distribution ====================

View file

@ -240,6 +240,8 @@ test_changes:
#
check:
cd tests; $(MAKE)
recheck:
cd tests; $(MAKE) clean; $(MAKE)
#
# Rebuild ECL using its own image and compare. Does not work
# right now.