configure
changeset 7273 449ec3248b61
parent 7266 6caad66a4966
child 7301 3554be091b3b
     1.1 --- a/configure	Wed Jun 05 00:42:39 2013 -0400
     1.2 +++ b/configure	Tue Jun 04 22:13:06 2013 -0700
     1.3 @@ -21427,6 +21427,14 @@
     1.4  fi
     1.5  
     1.6  
     1.7 +
     1.8 +        # FIXME: latest Cygwin finds dinput headers, but we die on other win32 headers.
     1.9 +        # FIXME:  ...so force it off for now.
    1.10 +        case "$host" in
    1.11 +            *-*-cygwin*)
    1.12 +            have_dinput=false
    1.13 +            ;;
    1.14 +        esac
    1.15      fi
    1.16  }
    1.17