#!/gnu/store/rib9g2ig1xf3kclyl076w28parmncg4k-bash-minimal-5.1.16/bin/bash
cmd=${0##*/}
echo "$cmd: warning: $cmd is obsolescent; using grep -F" >&2
exec /gnu/store/yrv5f70mn83a876b78i5s79dd2hsh0zf-grep-3.8/bin/grep -F "$@"
