--- scripts/repository/binary_safe_diff.sh.orig 2015-06-25 19:05:54.000000000 +0200
+++ scripts/repository/binary_safe_diff.sh 2015-12-12 21:58:45.184352000 +0100
@@ -1,6 +1,8 @@
#!/bin/sh
diff "$@"
-if [ "$?" = "2" ]; then
+RES="$?"
+if [ "$RES" = "2" ]; then
exit 1
fi
+exit "$RES"