#! /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 "None of gawk/mawk available. \n"; exit 1;
