: "${AWK=@AWK@}"
: "${CC=@CC@}"
: "${EXEEXT=@EXEEXT@}"
: "${TEST_SHELL=@SHELL@}"