In cmds to make src/Makefile, chmod Makefile.new before moving it.

1 files changed, 2 insertions, 1 deletions

diff --git a/configure1.in b/configure1.in
index bcc856c5920..5218a22efa9 100755
--- a/configure1.in
+++ b/configure1.in
@@ -1413,8 +1413,9 @@ makefile_command='echo "creating src/Makefile";
 '	-e '\''s/^ /	/'\'' 					'\
 '	| sed -n -e '\''/^..*$/p'\''				'\
 '	> Makefile.new;
+dnl There is a window of lossage if you mv Makefile.new before chmoding it.
+    chmod 444 Makefile.new;
     mv -f Makefile.new Makefile;
-    chmod 444 Makefile;
     rm -f junk.c junk.cpp;
 )'
 eval `echo $makefile_command`