Fix previous patch for OS X (#961)

Use posix version of sed that is available on all
platforms.

No functional change.

diff --git a/.travis.yml b/.travis.yml
index 3e5aec985d2249ae5390d98e2845f79fa56c4096..36cd2ebc0897f300b8bae196133bd5b04ccaed14 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -48,7 +48,7 @@ script:
   # checking bench for various build types
   #
   # obtain reference from git log
-  - git log | grep "\b[Bb]ench[ :]\+[0-9]\{7\}" | head -n 1 | sed -rn "s/[^0-9]*([0-9]+)/\1/p" > git_sig
+  - git log | grep "\b[Bb]ench[ :]\+[0-9]\{7\}" | head -n 1 | sed "s/[^0-9]*\([0-9][0-9]*\)/\1/g" > git_sig
   - export benchref=$(cat git_sig)
   - echo "Reference bench:" $benchref
   # verify against reference

diff --git a/tests/signature.sh b/tests/signature.sh
index 2eb52c89be24c5a3e15e27c6faf996e5881b4d93..00fd2dc9800cbdfcc31dc102046f1fa815ede520 100755 (executable)
--- a/tests/signature.sh
+++ b/tests/signature.sh
@@ -17,6 +17,7 @@ if [ $# -gt 0 ]; then
    # compare to given reference
    if [ "$1" != "$signature" ]; then
       echo "signature mismatch: reference $1 obtained $signature"
+      exit 1
    else
       echo "signature OK: $signature"
    fi