From cb3d628f12a959ab38cb5f7b2e32d9f880ed8761 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Lesimple?= Date: Sat, 23 Jul 2022 14:39:43 +0200 Subject: [PATCH] chore: fix regtests under github actions --- regtest/common.bash | 3 +++ 1 file changed, 3 insertions(+) diff --git a/regtest/common.bash b/regtest/common.bash index a162542..1238c24 100644 --- a/regtest/common.bash +++ b/regtest/common.bash @@ -264,6 +264,9 @@ function run_regtest() # remove all paths to get reproducible output: sed -i -re "s=$TMPDIR/*==g;s=$ISODIR/*==g" $NEWLOG + # remote tmp path of github actions + sed -i -re "s=[-A-Za-z0-9_~]+/AppData/Local/Temp/==g" $NEWLOG + if ! diff <(tail -n +3 $REFLOG | $filter) <(cat $NEWLOG | $filter) >${DIFFLOG}; then if [ "$REGTEST_NO_UTF8" = 1 ]; then echo "BAD; diffs found (created):"