equal
deleted
inserted
replaced
370 if [ "$enable_network" = "0" ]; then |
370 if [ "$enable_network" = "0" ]; then |
371 log 1 "WARNING: compiling a dedicated server without network is pointless" |
371 log 1 "WARNING: compiling a dedicated server without network is pointless" |
372 sleep 5 |
372 sleep 5 |
373 fi |
373 fi |
374 else |
374 else |
375 if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ]; then |
375 if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ] || [ "$os" = "WINCE" ]; then |
376 log 1 "checking GDI video driver... found" |
376 log 1 "checking GDI video driver... found" |
377 else |
377 else |
378 log 1 "checking GDI video driver... not Windows, skipping" |
378 log 1 "checking GDI video driver... not Windows, skipping" |
379 fi |
379 fi |
380 |
380 |
381 if [ -z "$sdl_config" ] && [ "$with_cocoa" = 0 ] && [ "$os" != "MINGW" ] && [ "$os" != "CYGWIN" ]; then |
381 if [ -z "$sdl_config" ] && [ "$with_cocoa" = 0 ] && [ "$os" != "MINGW" ] && [ "$os" != "CYGWIN" ] && [ "$os" != "WINCE" ]; then |
382 log 1 "WARNING: no video driver found, building dedicated only" |
382 log 1 "WARNING: no video driver found, building dedicated only" |
383 enable_dedicated="1" |
383 enable_dedicated="1" |
384 sleep 1 |
384 sleep 1 |
385 |
385 |
386 log 1 "checking dedicated... found" |
386 log 1 "checking dedicated... found" |