diff options
| author | Jim Blandy | 1993-04-10 08:30:27 +0000 |
|---|---|---|
| committer | Jim Blandy | 1993-04-10 08:30:27 +0000 |
| commit | 8ba83d8852bce7813ae0c4237edd82f15014f0d0 (patch) | |
| tree | db83abdd6569078ed4f27f308b485c4cdb5b5e66 | |
| parent | 51cf3e317c4a5e5664218b6fe7a1c09f1c81631b (diff) | |
| download | emacs-8ba83d8852bce7813ae0c4237edd82f15014f0d0.tar.gz emacs-8ba83d8852bce7813ae0c4237edd82f15014f0d0.zip | |
* configure.in: Don't set CC to "gcc -O" if the user specifies
`--with-gcc'. Add -O to DEFS if GCC is set.
| -rwxr-xr-x | configure1.in | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/configure1.in b/configure1.in index d9e02003f63..d02306cc8c9 100755 --- a/configure1.in +++ b/configure1.in | |||
| @@ -781,14 +781,19 @@ compile='${CC-cc} $CFLAGS $DEFS conftest.c -o conftest $LIBS >/dev/null 2>&1' | |||
| 781 | #### Choose a compiler. | 781 | #### Choose a compiler. |
| 782 | DEFS=-g | 782 | DEFS=-g |
| 783 | case ${with_gcc} in | 783 | case ${with_gcc} in |
| 784 | "yes" ) CC="gcc -O99" GCC=1 ;; | 784 | "yes" ) CC="gcc" GCC=1 ;; |
| 785 | "no" ) CC="cc" ;; | 785 | "no" ) CC="cc" ;; |
| 786 | * ) | 786 | * ) |
| 787 | ] | 787 | ] |
| 788 | AC_PROG_CC | 788 | AC_PROG_CC |
| 789 | [ | 789 | [ |
| 790 | esac | 790 | esac |
| 791 | 791 | ||
| 792 | if [ "${GCC}" != "" ]; then | ||
| 793 | DEFS="${DEFS} -O" | ||
| 794 | fi | ||
| 795 | |||
| 796 | |||
| 792 | #### Some other nice autoconf tests. | 797 | #### Some other nice autoconf tests. |
| 793 | ] | 798 | ] |
| 794 | AC_CONST | 799 | AC_CONST |