]> Savannah Git Hosting - gnulib.git/commitdiff
maint: fix 'make update-copyright'
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 1 Jan 2018 00:43:46 +0000 (16:43 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 1 Jan 2018 00:58:38 +0000 (00:58 +0000)
* Makefile (update-copyright): Adjust to 2016-11-23 change
to config/srclist-update, which changed the format of srclist.txt.

ChangeLog
Makefile

index 48c02ca1a6d10a32b4059be0b02db87657f51f82..a2470d4cbd7d48ecf6ab06e2fd817c09ecb1cccb 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2018-01-01  Paul Eggert  <eggert@cs.ucla.edu>
+
+       maint: fix 'make update-copyright'
+       * Makefile (update-copyright): Adjust to 2016-11-23 change
+       to config/srclist-update, which changed the format of srclist.txt.
+
 2017-12-30  Paul Eggert  <eggert@cs.ucla.edu>
 
        chdir-safer: remove this module
index 3056d0d4162aaaec99b19915a2d61cd7e80fa6fc..e9608c0dc7b1362940f6f05109bb089a96682fd7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -160,7 +160,7 @@ MODULES.html: MODULES.html.sh
 update-copyright:
        exempt=$$(mktemp);                                              \
        grep -v '^#' config/srclist.txt|grep -v '^$$'                   \
-         | while read src dst; do                                      \
+         | while read top src dst options; do                          \
              test -f "$$dst" && { echo "$$dst"; continue; };           \
              test -d "$$dst" || continue;                              \
              echo "$$dst"/$$(basename "$$src");                        \