Commit ec26e62e authored by Johannes Scheuermann's avatar Johannes Scheuermann

This fixes #26526 the white space problem

parent 9aeeef1d
...@@ -95,7 +95,7 @@ while read file; do ...@@ -95,7 +95,7 @@ while read file; do
# By now, the contents should be normalized and stripped of any # By now, the contents should be normalized and stripped of any
# auto-managed content. # auto-managed content.
if diff -Bw >/dev/null <(echo "${original}") <(echo "${generated}"); then if diff -B >/dev/null <(echo "${original}") <(echo "${generated}"); then
# actual contents same, overwrite generated with original. # actual contents same, overwrite generated with original.
cp "${OUTPUT}/${file}" "${OUTPUT_TMP}/${file}" cp "${OUTPUT}/${file}" "${OUTPUT_TMP}/${file}"
fi fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment