diff --git a/testing/scripts/diff-remove-timestamps b/testing/scripts/diff-remove-timestamps index e235746f93..84bd21aa60 100755 --- a/testing/scripts/diff-remove-timestamps +++ b/testing/scripts/diff-remove-timestamps @@ -4,7 +4,7 @@ # Get us "modern" regexps with sed. if [ `uname` == "Linux" ]; then - sed="sed" + sed="sed -r" else sed="sed -E" fi