将变量名从csh传递给awk脚本

Question

我有一个使用参数调用的shell脚本。对于前./sample_script.csh module_name

在示例script.csh中，我有类似的内容：

#!/bin/csh -f

log_file = run_${1}.log

cat test.log | example.awk  >! verif_${1}.log

在example.awk中，我想要一些行转到verif _ $ {1} .log，有些行转到log_file。所以我在example.awk中尝试这个：

#!/bin/awk -f

{
# this one will go automatically to verif_${1}.log
print $1 " " $2 " " $5

# This one should go to log_file
print " Hello there !" >! log_file;
}

变量log_file在example.awk中不可见。因此创建了一些随机文件而不是log_file（= run _ $ {1} .log）。我该如何传递这个文件名？