# HG changeset patch
# User truelight
# Date 1169390665 0
# Node ID 799eacb62d8e32cbdaa1ed803611d36d8d1a20df
# Parent  31378995786b3469cd5b3864cdc70fb40df0f884
(svn r8311) [WinCE] -Fix r8304: GDI wasn't enabled by default on WinCE

diff -r 31378995786b -r 799eacb62d8e config.lib
--- a/config.lib	Sun Jan 21 14:36:08 2007 +0000
+++ b/config.lib	Sun Jan 21 14:44:25 2007 +0000
@@ -372,13 +372,13 @@
 			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