
AWK=@AWK@
Mientras leía el guión, descubrí sh
que es algo así como AWK=$(which awk)
, pero no funciona. Entonces, ¿alguien puede explicar esto?
Guion :
#!/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);
...
Respuesta1
Dice # makelist.sh: Automatically generate header files...
.
Probablemente signifique que algún otro programa editará el script de shell y reemplazará el marcador de posición @AWK@
con la ruta real a awk, como /usr/bin/awk
.