diff options
Diffstat (limited to 'admin/update-copyright')
| -rwxr-xr-x | admin/update-copyright | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/admin/update-copyright b/admin/update-copyright index a70d7a3ff93..f392b09c10b 100755 --- a/admin/update-copyright +++ b/admin/update-copyright @@ -53,7 +53,7 @@ repo_files=$(git ls-files) && # . They are GMP files, maintained by the GMP project, with their own dates. # . Their format cannot withstand changing the contents of copyright strings. -updatable_files=$(find $repo_files \ +updatable_files=$(find "$repo_files" \ ! -name COPYING \ ! -name doclicense.texi \ ! -name gpl.texi \ @@ -74,4 +74,4 @@ updatable_files=$(find $repo_files \ ! -name 'mini-gmp.[ch]' \ -print) && -build-aux/update-copyright $updatable_files +build-aux/update-copyright "$updatable_files" |