]> Savannah Git Hosting - gnulib.git/commit
maint: avoid duplicate tight-scope work
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 11 Jun 2024 17:16:37 +0000 (10:16 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 11 Jun 2024 17:16:37 +0000 (10:16 -0700)
commit8991f4f344cd9b9bc31daf3ac378a8f06fe2c56e
tree7611f7546b469e34b3a8035abd10a1fc414725af
parentefeb4651040013e16fc57891c39697ea36aa015f
maint: avoid duplicate tight-scope work

* top/maint.mk (_gl_tight_scope): Sort $(SOURCES), to remove
duplicates and thereby avoid unnecessary work.  Found when testing
this on GNU diffutils.
ChangeLog
top/maint.mk