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