# HG changeset patch # User truelight # Date 2007-01-21 14:44:25 # Node ID 339db98780e9528d1ab77af52be445dbaaa8f5f3 # Parent 8e696ed1143186cce77fba8c08f85016323f1028 (svn r8311) [WinCE] -Fix r8304: GDI wasn't enabled by default on WinCE diff --git a/config.lib b/config.lib --- a/config.lib +++ b/config.lib @@ -372,13 +372,13 @@ check_params() { sleep 5 fi else - if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ]; then + if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ] || [ "$os" = "WINCE" ]; then log 1 "checking GDI video driver... found" else log 1 "checking GDI video driver... not Windows, skipping" fi - if [ -z "$sdl_config" ] && [ "$with_cocoa" = 0 ] && [ "$os" != "MINGW" ] && [ "$os" != "CYGWIN" ]; then + if [ -z "$sdl_config" ] && [ "$with_cocoa" = 0 ] && [ "$os" != "MINGW" ] && [ "$os" != "CYGWIN" ] && [ "$os" != "WINCE" ]; then log 1 "WARNING: no video driver found, building dedicated only" enable_dedicated="1" sleep 1