diff --git a/bin/xenofarm.sh b/bin/xenofarm.sh index f883c58614a981e7e325cd7ef0fd34b21b760ec7..e0fabfbe13e86fa8f996fce6e9cd1783d35690aa 100755 --- a/bin/xenofarm.sh +++ b/bin/xenofarm.sh @@ -1,6 +1,6 @@ #! /bin/sh -# $Id: xenofarm.sh,v 1.31 2008/05/09 16:51:57 grubba Exp $ +# $Id: xenofarm.sh,v 1.32 2008/07/22 21:18:38 grubba Exp $ # This file scripts the xenofarm actions and creates a result package # to send back. @@ -45,7 +45,7 @@ xenofarm_post_build() { log_start verify # Note: verify and valgrind_verify perform the same actions # if not compiled --with-valgrind. - $MAKE METATARGET=valgrind_verify TESTARGS="-a -T -F" > \ + $MAKE METATARGET=valgrind_verify TESTARGS="-a -T -F -v -v" > \ xenofarm_result/verifylog.txt 2>&1 log_end $? [ $LASTERR = 0 ] || return 1