From 8fa6273ff6d9aed4fb044cac0bfef9cc927eee65 Mon Sep 17 00:00:00 2001 From: Marco Costalba Date: Sat, 6 Apr 2019 12:43:41 +0200 Subject: [PATCH] Fix sed for OS X (#2080) MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit 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. --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index f27f9c95..1d56a23e 100644 --- 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 -- 2.39.2