diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2017-12-31 16:43:46 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2018-01-01 00:58:38 +0000 |
commit | 611f12013b42466749cf00016e6e27b73d3a224c (patch) | |
tree | b3aaead4961142030ccfa2ff6cc4e8b9d2ceb7e5 | |
parent | b3c1f16f0a332b44502f6cca7ca643a59c6d924f (diff) | |
download | gnulib-611f12013b42466749cf00016e6e27b73d3a224c.tar.gz |
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.
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | Makefile | 2 |
2 files changed, 7 insertions, 1 deletions
@@ -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 @@ -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"); \ |