From a3146935a48337634f6810d53a7cc7302cb61d47 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Wed, 25 Mar 2020 18:46:08 +0100 Subject: make test does not need cleaning anymore --- src/versions/standard/Makefile.local | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/versions/standard/Makefile.local') diff --git a/src/versions/standard/Makefile.local b/src/versions/standard/Makefile.local index 045af88..089ae9a 100644 --- a/src/versions/standard/Makefile.local +++ b/src/versions/standard/Makefile.local @@ -5,16 +5,16 @@ test : - cd ../unit-tests; make + cd ../unit-tests; make cleanvo; make ztest : - cd ../unit-tests; make zchaff + cd ../unit-tests; make cleanvo; make zchaff vtest : - cd ../unit-tests; make verit + cd ../unit-tests; make cleanvo; make verit lfsctest : - cd ../unit-tests; make lfsc + cd ../unit-tests; make cleanvo; make lfsc clean:: cd ../unit-tests; make clean -- cgit