From c40b7d6fb4506195c8598452370462c3e647ec63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mateusz=20Miku=C5=82a?= <mati865@gmail.com>
Date: Thu, 18 Jul 2019 10:24:53 +0000
Subject: [PATCH] Don't use diff on Redox
---
tests/verify.sh | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/tests/verify.sh b/tests/verify.sh
index 6444a1d2a..86438f894 100755
--- a/tests/verify.sh
+++ b/tests/verify.sh
@@ -26,8 +26,12 @@ do
echo "# ${name}: ${output}: generated #"
cat "gen/${name}.${output}"
- echo "# ${name}: ${output}: diff #"
- diff --color -u "expected/${name}.${output}" "gen/${name}.${output}"
+ # FIXME: Make diff available on Redox
+ if [ $(uname) != "Redox" ]
+ then
+ echo "# ${name}: ${output}: diff #"
+ diff --color -u "expected/${name}.${output}" "gen/${name}.${output}"
+ fi
status="${status}, ${output} mismatch"
fi
--
GitLab