Merge branch 'ci' into 'master'

Don't use diff on Redox See merge request redox-os/relibc!233
2019-07-18 11:55:54 +00:00
parent a8280e8991 c40b7d6fb4
commit aba76239b3
1 changed files with 6 additions and 2 deletions
@@ -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