changeset 39198:b40116976b39

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.
author Paul Eggert <eggert@cs.ucla.edu>
date Sun, 31 Dec 2017 16:43:46 -0800
parents 1a2841157ac5
children 24e347e0e326
files ChangeLog Makefile
diffstat 2 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Sun Dec 31 16:26:12 2017 -0800
+++ b/ChangeLog	Sun Dec 31 16:43:46 2017 -0800
@@ -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
--- a/Makefile	Sun Dec 31 16:26:12 2017 -0800
+++ b/Makefile	Sun Dec 31 16:43:46 2017 -0800
@@ -160,7 +160,7 @@
 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");			\