O que significa 'AWK = @ AWK @' em shell script

Question

Encontrei AWK=@AWK@ ao ler o script sh , é algo como AWK=$(which awk) , mas não está funcionando. Então alguém pode explicar isso?

Script:

#!/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);
...

    

Answer 1

Diz # makelist.sh: Automatically generate header files... .

Isso provavelmente significa que algum outro programa irá editar o script de shell e substituir o marcador de posição @AWK@ pelo caminho real do awk, como /usr/bin/awk .