diff options
| -rwxr-xr-x | configure1.in | 3 |
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; |
| 1416 | dnl 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 | )' |
| 1420 | eval `echo $makefile_command` | 1421 | eval `echo $makefile_command` |