(sources.mk): Sort file names to make output deterministic.

diff --git a/Make.mk b/Make.mk
index 17bec0dd11a75a13cc8a04b3659befeee31f5d15..c93f4771fa1c21072b86e212f6bff855dc28106c 100644 (file)
--- a/Make.mk
+++ b/Make.mk
@@ -294,7 +294,7 @@ $(topics.html): info/emp2html.pl
 ifeq ($(cvs_controlled),yes)
 # Find files and directories under CVS control
 sources.mk: $(scripts)/cvsfiles.awk $(addprefix $(srcdir)/, $(addsuffix CVS/Entries, $(dirs)))
-       echo 'src := ' `cd $(srcdir) && $(AWK) -f src/scripts/cvsfiles.awk` >$@
+       echo 'src := ' `cd $(srcdir) && $(AWK) -f src/scripts/cvsfiles.awk | sort` >$@
 else
 ifneq ($(srcdir),.)
 sources.mk: $(srcdir)/sources.mk