diff --git a/resources/scripts/.travis-before-install.sh b/resources/scripts/.travis-before-install.sh index d660c7ef4..996b3364d 100755 --- a/resources/scripts/.travis-before-install.sh +++ b/resources/scripts/.travis-before-install.sh @@ -10,7 +10,7 @@ if test "$TRAVIS_OS_NAME" = "osx"; then brew install curl brew link --force curl brew uninstall gnu-sed - brew install gnu-sed --with-default-names + brew install gnu-sed brew link --force gnu-sed else # Linux. diff --git a/resources/scripts/.travis-install-osx.sh b/resources/scripts/.travis-install-osx.sh index 96a271974..1f6e0a63f 100755 --- a/resources/scripts/.travis-install-osx.sh +++ b/resources/scripts/.travis-install-osx.sh @@ -39,7 +39,7 @@ wikifile="./build-wiki/Development-builds.md" wikifilenew="./build-wiki/Development-builds.md.new" echo "Line to add: $wikiline" -cat "$wikifile" | /usr/local/bin/sed -e "s@| Mac OS | .\+$USE_WEBENGINE | @$wikiline@g" > "$wikifilenew" +cat "$wikifile" | /usr/local/bin/gsed -e "s@| Mac OS | .\+$USE_WEBENGINE | @$wikiline@g" > "$wikifilenew" cat "$wikifilenew" mv "$wikifilenew" "$wikifile"