diff options
| author | Roland McGrath | 1993-10-03 19:57:50 +0000 |
|---|---|---|
| committer | Roland McGrath | 1993-10-03 19:57:50 +0000 |
| commit | ca40a313268e6daf596c2f3e3d344470dbb47866 (patch) | |
| tree | 46f42060a6828b1dc6d37638ba355dada9ea13d4 | |
| parent | f854bb66e24af791def8e95b041935722a08624f (diff) | |
| download | emacs-ca40a313268e6daf596c2f3e3d344470dbb47866.tar.gz emacs-ca40a313268e6daf596c2f3e3d344470dbb47866.zip | |
In cmds to make src/Makefile, chmod Makefile.new before moving it.
| -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` |