bins/gen-patches: catch diff exit code

This commit is contained in:
Aaron Bieber 2023-06-30 08:13:56 -06:00
parent fe0fdf9858
commit 26079cf9cb
No known key found for this signature in database

View File

@ -42,8 +42,8 @@ let
dname=$(dirname "$patch")
file="$dname/$fname"
outfile=$(echo "$dname/$fname" | sed 's;/;_;g')
diff -u "$file" "$patch" > "$output/$outfile";
echo "==> Created patch: $output/$outfile"
diff -u "$patch" "$file" > "$output/$outfile" || \
echo "==> Created patch: $output/$outfile"
done
'';
};