diff options
Diffstat (limited to 'scripts/update-copyrights')
| -rwxr-xr-x | scripts/update-copyrights | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/update-copyrights b/scripts/update-copyrights index 7d9d093c0b..5841dbcf27 100755 --- a/scripts/update-copyrights +++ b/scripts/update-copyrights @@ -61,7 +61,7 @@ for f in $files; do ;; configure | */configure | preconfigure | */preconfigure) # Possibly generated files. - if ! [ -f "$f.in" ]; then + if ! [ -f "$f.ac" ]; then "$update_script" "$f" fi ;; |