Commit 08faba04 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[tests] to ease the use of dune promote

parent 0ae8fb60
......@@ -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"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment