changeset 5728 | 68837feb9370 |
parent 5726 | 8f399788f6c9 |
child 5730 | d744fa7136ea |
--- a/config.lib Tue Jan 02 20:00:10 2007 +0000 +++ b/config.lib Tue Jan 02 20:06:44 2007 +0000 @@ -622,7 +622,7 @@ log 1 "checking GDI video driver... skipping" log 1 "checking dedicated... found" - if [ "$enable_network" != "0" ] + if [ "$enable_network" = "0" ] then log 1 "WARNING: compiling a dedicated server without network is pointless" sleep 5