Explicitly sort the extensions, now that they come from multiple directories.

We used to have extensions automatically sorted because they came from a
single glob, that was itself sorted.

diff --git a/Configure b/Configure
index c97a42e..b2b92af 100755 (executable)
--- a/Configure
+++ b/Configure
@@ -21707,10 +21707,10 @@ else
 fi
 set X $known_extensions
 shift
-known_extensions="$*"
+known_extensions=`echo "$*" | tr ' ' $trnl | $sort | tr $trnl ' '`
 set X $nonxs_extensions
 shift
-nonxs_extensions="$*"
+nonxs_extensions=`echo "$*" | tr ' ' $trnl | $sort | tr $trnl ' '`
 cd "$tdir"
 
 : Now see which are supported on this system.