changeset 8743 | 62a558995c35 |
parent 8740 | 90448f0ed4bd |
child 8765 | 4aadf8d5d2fb |
--- a/config.lib Thu Jan 10 22:46:04 2008 +0000 +++ b/config.lib Fri Jan 11 00:30:32 2008 +0000 @@ -2242,6 +2242,7 @@ echo "" echo "Features and packages:" echo " --enable-debug[=LVL] enable debug-mode (LVL=[0123], 0 is release)" + echo " --enable_desync_debug=[LVL] enable desync debug options (LVL=[012], 0 is none" echo " --enable-profiling enables profiling" echo " --enable-dedicated compile a dedicated server (without video)" echo " --enable-static enable static compile (doesn't work for"