Searched refs:INPUT_NAME (Results 1 – 1 of 1) sorted by relevance
299 local INPUT_NAME="`basename $INPUT`"317 echo "Awk script: $SCRIPT_NAME: passed $INPUT_NAME"325 echo "Awk script: $SCRIPT_NAME: $INPUT_NAME FAILED!!"