diff --git a/src/configure.in b/src/configure.in index 929b94dd3b16bbe543f6002b807b28633d9bcf32..1503d84f428d5cc922401253397cda9f3410ee0d 100644 --- a/src/configure.in +++ b/src/configure.in @@ -1,4 +1,4 @@ -AC_REVISION("$Id: configure.in,v 1.243 1998/09/29 19:52:52 grubba Exp $") +AC_REVISION("$Id: configure.in,v 1.244 1998/09/29 20:11:26 grubba Exp $") AC_INIT(interpret.c) AC_CONFIG_HEADER(machine.h) @@ -181,8 +181,8 @@ AC_ARG_WITH(mysql, [ --without-mysql no support for the Mysql data AC_ARG_WITH(dmalloc, [ --with-dmalloc enable memory-leak tests],[AC_DEFINE(DEBUG_MALLOC,10)],[]) AC_ARG_WITH(profiling, [ --with-profiling add code used to profile pike code ],[AC_DEFINE(PROFILING)],[]) AC_ARG_WITH(poll, [ --with-poll use poll instead of select],[],[ - # Neither --with-poll nor --without-poll specified - case "x$pike_cv_sys_os" in + # Neither --with-poll nor --without-poll was specified + case "$pike_cv_sys_os" in Solaris|AIX|HP-UX|OSF1|IRIX) AC_MSG_WARN([Defaulting to --with-poll since OS is $pike_cv_sys_os.]) with_poll=yes;