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 /Makefile | |
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.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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"); \ |