aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure1.in3
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";
1413' -e '\''s/^ / /'\'' '\ 1413' -e '\''s/^ / /'\'' '\
1414' | sed -n -e '\''/^..*$/p'\'' '\ 1414' | sed -n -e '\''/^..*$/p'\'' '\
1415' > Makefile.new; 1415' > Makefile.new;
1416dnl There is a window of lossage if you mv Makefile.new before chmoding it.
1417 chmod 444 Makefile.new;
1416 mv -f Makefile.new Makefile; 1418 mv -f Makefile.new Makefile;
1417 chmod 444 Makefile;
1418 rm -f junk.c junk.cpp; 1419 rm -f junk.c junk.cpp;
1419)' 1420)'
1420eval `echo $makefile_command` 1421eval `echo $makefile_command`