changeset 4810:5ccfb9c1967f

In cmds to make src/Makefile, chmod Makefile.new before moving it.
author Roland McGrath <roland@gnu.org>
date Sun, 03 Oct 1993 19:57:50 +0000
parents 499783e8afb2
children 4df040383e8a
files configure1.in
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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`