
Descobri AWK=@AWK@
ao ler sh
o script que é algo parecido AWK=$(which awk)
, mas não está funcionando. Então, alguém pode explicar isso?
Roteiro :
#!/bin/sh -
# makelist.sh: Automatically generate header files...
AWK=@AWK@
USAGE="Usage: $0 -n|-h|-e|-fc|-fh|-bc|-bh|-m <filenames>"
if [ "x$1" = "x" ]
then
echo $USAGE 1>&2
exit 1
fi
.....
.....
.....
-h)
set - `echo $FILES | sed -e 's/\\./_/g'`
hdr="_h_`basename $1`"
cat $FILES | $AWK '
BEGIN {
printf("/* Automatically generated file, do not edit */\n");
printf("#ifndef %s\n#define %s\n", "'$hdr'", "'$hdr'");
}
/\(\):/ {
pr = substr($2, 1, 2);
if (pr == "vi" || pr == "em" || pr == "ed") {
# XXXMYSQL: support CRLF
name = substr($2, 1, index($2,"(") - 1);
...
Responder1
Diz # makelist.sh: Automatically generate header files...
.
Provavelmente significa que algum outro programa irá editar o script de shell e substituir o marcador @AWK@
pelo caminho real para o awk, como /usr/bin/awk
.