config.lib
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"