#! /bin/sh
if [ -x /usr/bin/gawk ]; then exec /usr/bin/gawk "$@"; fi
if [ -x /usr/bin/mawk ]; then exec /usr/bin/mawk "$@"; fi
echo "Error: None of gawk/mawk available."
echo
exit 1
