diff --git a/bin/test.sh b/bin/test.sh index 48c322544aff0320d56aafe8df483ef5078d6e78..305e39abd99688146118b42c52feb627ce18db47 100755 --- a/bin/test.sh +++ b/bin/test.sh @@ -233,7 +233,7 @@ function TestFile if [ "$LOGS" = "yes" ]; then ALIAS=$DIR/$RESULT/$FILE else - ALIAS=$DIR/$RESULT/${FILE%.*}.wtests + ALIAS=$DIR/$RESULT/${FILE%.*}.diff fi Head "Register test on file $1 $CFG" DUNE_ALIAS="${DUNE_ALIAS} @$ALIAS"