diff options
Diffstat (limited to 'test/Gentests')
-rwxr-xr-x | test/Gentests | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Gentests b/test/Gentests index 460edbae..5a7aaa09 100755 --- a/test/Gentests +++ b/test/Gentests @@ -123,7 +123,7 @@ END { printf "WARNING: --lint-old target `%s' is missing.\n", x > "/dev/stderr" for (x in files) if (!(x in unused) && \ - !(gensub(/\.(awk|in)$/,"","",x) in targets)) + !(gensub(/\.(awk|in)$/,"",1,x) in targets)) printf "WARNING: unused file `%s'.\n", x > "/dev/stderr" } |