#!/bin/sh
cmd=${0##*/}
echo "$cmd: warning: $cmd is obsolescent; using /usr/local/bin/ggrep -F" >&2
exec /usr/local/bin/ggrep -F "$@"
