diff options
| -rwxr-xr-x | configure1.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/configure1.in b/configure1.in index 19856c83e83..cbb2531cb45 100755 --- a/configure1.in +++ b/configure1.in | |||
| @@ -214,7 +214,6 @@ machine=`./config.sub "${machine}"` | |||
| 214 | 214 | ||
| 215 | # Given the canonicalized machine name, set machfile and opsysfile to | 215 | # Given the canonicalized machine name, set machfile and opsysfile to |
| 216 | # the names of the m/*.h and s/*.h files we should use. | 216 | # the names of the m/*.h and s/*.h files we should use. |
| 217 | echo ${machine} | ||
| 218 | case "${machine}" in | 217 | case "${machine}" in |
| 219 | 218 | ||
| 220 | ## Alliant machines. | 219 | ## Alliant machines. |
| @@ -583,7 +582,7 @@ rm -f lib-src/Makefile.tmp | |||
| 583 | # editing \`Makefile.in' itself, or running \`${progname}' instead." | 582 | # editing \`Makefile.in' itself, or running \`${progname}' instead." |
| 584 | /bin/sed < lib-src/Makefile.in \ | 583 | /bin/sed < lib-src/Makefile.in \ |
| 585 | -e '/^# DIST: /d' \ | 584 | -e '/^# DIST: /d' \ |
| 586 | -e 's;^\(CFLAGS=\).*$;\1'"${c_switch_site};" \ | 585 | -e 's;^\(CONFIG_CFLAGS=\).*$;\1'"${c_switch_site};" \ |
| 587 | -e 's;^\(LOADLIBES=\).*$;\1'"${libsrc_libs};" \ | 586 | -e 's;^\(LOADLIBES=\).*$;\1'"${libsrc_libs};" \ |
| 588 | -e 's;^\(CC=\).*$;\1'"${cc};") > lib-src/Makefile.tmp | 587 | -e 's;^\(CC=\).*$;\1'"${cc};") > lib-src/Makefile.tmp |
| 589 | ./move-if-change lib-src/Makefile.tmp lib-src/Makefile | 588 | ./move-if-change lib-src/Makefile.tmp lib-src/Makefile |