changeset 5477 | 3e7cf46bf3b8 |
parent 5475 | 2e6990a8c7c4 |
child 5479 | dc722a328927 |
--- 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