if [ $# -ne 1 ]
then
    print_failure "Wrong number of arguments after module; need HEADER_NAME."
    echo "HEADER_NAME is the name of the header file."
    exit 1
fi

HEADER_NAME=$1
shift

do_parameter_subst NAME HEADER_NAME
true

# vim: syntax=sh:expandtab:ts=4:sw=4