# HG changeset patch
# User Roland McGrath <roland@gnu.org>
# Date 749678270 0
# Node ID 5ccfb9c1967f8e42f907b4c4fd7e071a328ba2ea
# Parent  499783e8afb263bc73af8afa53b568a82a9816a1
In cmds to make src/Makefile, chmod Makefile.new before moving it.

diff -r 499783e8afb2 -r 5ccfb9c1967f configure1.in
--- a/configure1.in	Sun Oct 03 19:55:09 1993 +0000
+++ b/configure1.in	Sun Oct 03 19:57:50 1993 +0000
@@ -1413,8 +1413,9 @@
 '	-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`