diff --git a/tests/verify.sh b/tests/verify.sh
index 6444a1d2a5b6925299cc7595c179c281bb984e73..86438f89463ac8a4a4ea6f3df84ead29fee35cac 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