From f2e60a76a81360a64fec78d3693bea2a22ec389a Mon Sep 17 00:00:00 2001
From: Robin Sommer <robin@icir.org>
Date: Sun, 22 Jul 2012 21:04:59 -0700
Subject: [PATCH] Script fix for Linux.

---
 testing/scripts/diff-remove-timestamps | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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