config.lib
changeset 8247 16e1c8db6f55
parent 8244 9fdec5112828
child 8269 6dc204e1c957
--- 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"