From 58b547b4e1f3331b4128d9e0674251525f4fd225 Mon Sep 17 00:00:00 2001
From: truelight <truelight@openttd.org>
Date: Sun, 21 Jan 2007 14:44:25 +0000
Subject: [PATCH] (svn r8311) [WinCE] -Fix r8304: GDI wasn't enabled by default
 on WinCE

---
 config.lib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config.lib b/config.lib
index deccd608e1..3d2548cb37 100644
--- 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