Fix previous patch for OS X (official-stockfish#961)

mcostalba · web-flow · commit d9dd5208964f · 2017-01-09T15:37:09.000+01:00
Use posix version of sed that is available on all
platforms.

No functional change.
diff --git 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
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ script:`
`48`	`48`	`# checking bench for various build types`
`49`	`49`	`#`
`50`	`50`	`# obtain reference from git log`
`51`		`- - git log \| grep "\b[Bb]ench[ :]\+[0-9]\{7\}" \| head -n 1 \| sed -rn "s/[^0-9]*([0-9]+)/\1/p" > git_sig`
	`51`	`+ - git log \| grep "\b[Bb]ench[ :]\+[0-9]\{7\}" \| head -n 1 \| sed "s/[^0-9]\([0-9][0-9]\)/\1/g" > git_sig`
`52`	`52`	`- export benchref=$(cat git_sig)`
`53`	`53`	`- echo "Reference bench:" $benchref`
`54`	`54`	`# verify against reference`