diff options
| author | Paul Eggert | 2021-01-01 01:12:04 -0800 |
|---|---|---|
| committer | Paul Eggert | 2021-01-01 01:12:04 -0800 |
| commit | 841e40db5458555c952257a42eaca4a51dfefdae (patch) | |
| tree | 4e9fa74bc192ff3edc87c7f2ae7bf62f8082f268 /admin/update-copyright | |
| parent | d22e74795d8c6aeb3af64e2af8a8f3d96924f6f1 (diff) | |
| download | emacs-841e40db5458555c952257a42eaca4a51dfefdae.tar.gz emacs-841e40db5458555c952257a42eaca4a51dfefdae.zip | |
Fix some mistaken shell delinting
* admin/merge-gnulib, admin/update-copyright, make-dist:
Revert recent mistaken changes that were put in merely to
pacify a shellcheck linter.
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 f392b09c10b..a70d7a3ff93 100755 --- a/admin/update-copyright +++ b/admin/update-copyright | |||
| @@ -53,7 +53,7 @@ repo_files=$(git ls-files) && | |||
| 53 | # . They are GMP files, maintained by the GMP project, with their own dates. | 53 | # . They are GMP files, maintained by the GMP project, with their own dates. |
| 54 | # . Their format cannot withstand changing the contents of copyright strings. | 54 | # . Their format cannot withstand changing the contents of copyright strings. |
| 55 | 55 | ||
| 56 | updatable_files=$(find "$repo_files" \ | 56 | updatable_files=$(find $repo_files \ |
| 57 | ! -name COPYING \ | 57 | ! -name COPYING \ |
| 58 | ! -name doclicense.texi \ | 58 | ! -name doclicense.texi \ |
| 59 | ! -name gpl.texi \ | 59 | ! -name gpl.texi \ |
| @@ -74,4 +74,4 @@ updatable_files=$(find "$repo_files" \ | |||
| 74 | ! -name 'mini-gmp.[ch]' \ | 74 | ! -name 'mini-gmp.[ch]' \ |
| 75 | -print) && | 75 | -print) && |
| 76 | 76 | ||
| 77 | build-aux/update-copyright "$updatable_files" | 77 | build-aux/update-copyright $updatable_files |