make remove_trailing_whitespace() works in both MAC OS and Linux system

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 52071b0bac3d3e07b9b58493f8f78f66826937d2..bddad8366a8a63aab54f8833533f920803008eb0 100644 (file)
--- a/contrib/utilities/indent_common.sh
+++ b/contrib/utilities/indent_common.sh
@@ -171,7 +171,11 @@ remove_trailing_whitespace()
   file="${1}"
   tmpfile="$(mktemp "${TMPDIR}/$(basename "$1").tmp.XXXXXXXX")"
 
-  sed 's/\s\+$//g' "${file}" > "${tmpfile}"
+  #
+  # Mac OS uses BSD sed (other than GNU sed in Linux),
+  # so it doesn't recognize \s as 'spaces' or + as 'one or more'.
+  #
+  sed 's/[[:space:]]\{1,\}$//g' "${file}" > "${tmpfile}"
   if ! diff -q "${file}" "${tmpfile}" >/dev/null; then
     mv "${tmpfile}" "${file}"
   fi