diff configure1.in @ 704:2aacd42951ef

*** empty log message ***

--- a/configure1.in	Tue Jun 09 20:07:02 1992 +0000
+++ b/configure1.in	Tue Jun 09 23:02:56 1992 +0000
@@ -479,7 +479,7 @@
   esac
   sed_flags="${sed_flags} ${f}"
 done
-chmod +w -f src/config.h
+rm -f src/config.h.tmp
 eval '/bin/sed '${sed_flags}' < src/config.h.in > src/config.h.tmp'
 ./move-if-change src/config.h.tmp src/config.h
 # Remind people not to edit this.
@@ -487,7 +487,7 @@
 
 # Modify the parameters in the top makefile.
 echo "Producing ./Makefile from ./Makefile.in."
-chmod +w -f ./Makefile
+rm -f Makefile.tmp
 (echo "# This file is generated by \`${progname}' from \`./Makefile.in'.
 # If you are thinking about editing it, you should seriously consider
 # editing \`./Makefile.in' itself, or running \`${progname}' instead."
@@ -513,7 +513,7 @@
 
 # Modify the parameters in the `build-install' script.
 echo "Producing ./build-install from ./build-install.in."
-chmod +w -f ./build-install
+rm -f ./build-install.tmp
 (echo "# This file is generated by \`${progname}' from \`./build-install.in'.
 # If you are thinking about editing it, you should seriously consider
 # editing \`./build-install.in' itself, or running \`${progname}' instead."
@@ -531,7 +531,7 @@
 
 # Modify the parameters in the src makefile.
 echo "Producing src/Makefile from src/Makefile.in."
-chmod +w -f src/Makefile
+rm -f src/Makefile.tmp
 (echo "# This file is generated by \`${progname}' from \`Makefile.in'.
 # If you are thinking about editing it, you should seriously consider
 # editing \`Makefile.in' itself, or running \`${progname}' instead."
@@ -543,7 +543,7 @@
 
 # Modify the parameters in the lib-src makefile.
 echo "Producing lib-src/Makefile from lib-src/Makefile.in."
-chmod +w -f lib-src/Makefile
+rm -f lib-src/Makefile.tmp
 (echo "# This file is generated by \`${progname}' from \`Makefile.in'.
 # If you are thinking about editing it, you should seriously consider
 # editing \`Makefile.in' itself, or running \`${progname}' instead."