diff options
Diffstat (limited to 'src/configure')
| -rwxr-xr-x | src/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/configure b/src/configure index c9ed79c8f5..56d4bf5b19 100755 --- a/src/configure +++ b/src/configure @@ -808,7 +808,7 @@ echo "configure:807: checking setting DEF_PGPORT" >&5 if test "${with_pgport+set}" = set; then withval="$with_pgport" cat >> confdefs.h <<EOF -#define DEF_PGPORT "${DEF_PGPORT}" +#define DEF_PGPORT "${withval}" EOF echo "$ac_t""$with_pgport" 1>&6 else @@ -1003,7 +1003,7 @@ fi echo "$ac_t""$ac_cv_prog_gcc" 1>&6 -if test "$ac_cv_prog_gcc" = "yes"; then +if test $ac_cv_prog_gcc = yes; then GCC=yes ac_test_CFLAGS="${CFLAGS+set}" ac_save_CFLAGS="$CFLAGS" |