diff options
Diffstat (limited to '')
| -rw-r--r-- | auto/options | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/auto/options b/auto/options index b4ca3a759..178dfd275 100644 --- a/auto/options +++ b/auto/options @@ -123,3 +123,9 @@ if [ $help = yes ]; then exit 1 fi + + +if [ ".$PLATFORM" = ".win32" -a $EVENT_POLL = YES ]; then + EVENT_POLL=NO + echo "$0: warning: --with-poll_module option is ignored for win32" +fi |