diff options
-rw-r--r-- | scripts/patchfns.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/patchfns.in b/scripts/patchfns.in index 6ae58a4..011338b 100644 --- a/scripts/patchfns.in +++ b/scripts/patchfns.in @@ -516,7 +516,7 @@ refresh_file_list() then return 1 fi - awk ' { if (seen[$0]) next + @AWK@ ' { if (seen[$0]) next seen[$0]=1 print }' $tmpfile > $pc_file |