diff options
| -rw-r--r-- | config.lib | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config.lib b/config.lib index 31cba14cf..e741b00f8 100644 --- a/config.lib +++ b/config.lib @@ -2504,7 +2504,7 @@ showhelp() { 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-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" @@ -2524,7 +2524,7 @@ showhelp() { echo " --without-application-bundle disable generation of application bundle" echo " (OSX ONLY)" echo " --without-menu-entry Don't generate a menu item (Freedesktop based only)" - echo " --menu_group=group Category in which the menu item will be placed (Freedesktop based only)" + echo " --menu-group=group Category in which the menu item will be placed (Freedesktop based only)" echo " --with-direct-music enable direct music support (Win32 ONLY)" echo " --with-sort=sort define a non-default location for sort" echo " --with-midi=midi define which midi-player to use" |