#!/gnu/store/f9qjqyjsppzflba0l7kvdfkmyx4vhh9a-bash-minimal-5.2.37/bin/bash
cmd=${0##*/}
echo "$cmd: warning: $cmd is obsolescent; using grep -F" >&2
exec /gnu/store/679m9l6wrr3yzpvwcrlxmi3s9dd6g1jv-grep-3.11/bin/grep -F "$@"
