¿Qué significa `AWK=@AWK@` en scripts de shell?

¿Qué significa `AWK=@AWK@` en scripts de shell?

AWK=@AWK@Mientras leía el guión, descubrí shque 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.

información relacionada