diff options
author | Paul Smith <psmith@gnu.org> | 2019-05-11 10:30:26 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2019-05-12 16:28:26 -0400 |
commit | 4a31ca461ffa845ba85f5190b767c50285c00141 (patch) | |
tree | 777a2483c4dd5993ddb79be90c31d5d8a4d8b407 /maintMakefile | |
parent | 214865ed5c66d8e363b16ea74509f23d93456707 (diff) | |
download | make-git-4a31ca461ffa845ba85f5190b767c50285c00141.tar.gz |
Add developer customizations
* .ccls: Configure the ccls LSP server
* .dir-locals.el: Reset some parameters for ccls and lsp-mode
* .gitignore: Update for GTAGS and ccls
* maintMakefile: Don't search hidden directories for sources
Diffstat (limited to 'maintMakefile')
-rw-r--r-- | maintMakefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintMakefile b/maintMakefile index 05578e6f..2e204a27 100644 --- a/maintMakefile +++ b/maintMakefile @@ -329,7 +329,7 @@ changelog-check: po-check: if test -f po/POTFILES.in; then \ grep '^[^#]' po/POTFILES.in | sort > $@-1; \ - $(PERL) -wn -e 'if (/\b_\(/) { $$ARGV eq "./src/makeint.h" || print "$$ARGV\n" and close ARGV }' `find . -name '*.[ch]'` | sed 's,^\./,,' | sort > $@-2; \ + find [a-z]* -name '*.[ch]' | xargs grep -l '\b_(' | grep -v src/makeint.h | sort > $@-2; \ diff -u $@-1 $@-2 || exit 1; \ rm -f $@-1 $@-2; \ fi @@ -371,8 +371,8 @@ gendocs: update-gnuweb update-makeweb find '$(MAKEWEBDIR)'/manual \( -name CVS -prune \) -o \( -name '[!.]*' -type f -exec rm -f '{}' \; \) cp -r doc/manual '$(MAKEWEBDIR)' @echo 'Status of $(MAKEWEBDIR) repo:' && cd '$(MAKEWEBDIR)' \ - && cvs -q -n update | grep -v '^M ' \ - && echo '- cvs add <new files>' \ + && cvs -q -n update | grep -v '^M ' + @echo '- cvs add <new files>' \ && echo '- cvs remove <deleted files>' \ && echo '- cvs commit' \ && echo '- cvs tag make-$(subst .,-,$(VERSION))' |