Man, that "fgrep obsolescent" thing is annoying
1 files changed, 1 insertions(+), 1 deletions(-) M build/run-platform-tests.sh
M build/run-platform-tests.sh +1 -1
@@ 35,7 35,7 @@ run() { shift echo -n "Running \"$@\"..." if "$@" > "$tmpfile" 2>&1 ; then - if [ -z "$successtext" ] || grep -f -q "$successtext" "$tmpfile" ; then + if [ -z "$successtext" ] || grep -F -q "$successtext" "$tmpfile" ; then echo " OK" return 0 else