Fix sed for OS X (#2080)

The sed command is a bit different in Mac OS X (why not!).

The ‘-i’ option required a parameter to tell what extension to add for the
backup file. To fix it, just add extension for backup file, for example ‘.bak’

Fix broken Trevis CI test

No functional change.

diff --git a/.travis.yml b/.travis.yml
index f27f9c95ae2bb444ad5dc7adf116c9fbbbf0d7ca..1d56a23e90421b1eb4093fd39166a6d9ed76502d 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -57,7 +57,7 @@ script:
   - make clean && make -j2 ARCH=x86-32 build && ../tests/signature.sh $benchref
 
   # Verify bench number is ONE_PLY independent by doubling its value
-  - sed -i 's/.*\(ONE_PLY = [0-9]*\),.*/\1 * 2,/g' types.h
+  - sed -i'.bak' 's/.*\(ONE_PLY = [0-9]*\),.*/\1 * 2,/g' types.h
   - make clean && make -j2 ARCH=x86-64 build && ../tests/signature.sh $benchref
   #
   # Check perft and reproducible search