From 08faba044c708c1a0605bc6eac3e9fbccbc98e26 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 15 Sep 2022 08:21:46 +0200
Subject: [PATCH] [tests] to ease the use of dune promote
---
bin/test.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/test.sh b/bin/test.sh
index 48c322544af..305e39abd99 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"
--
GitLab