diff options
Diffstat (limited to 'config.lib')
-rw-r--r-- | config.lib | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.lib b/config.lib index 9bbd86093..fd5949652 100644 --- a/config.lib +++ b/config.lib @@ -3169,6 +3169,7 @@ showhelp() { echo " --with-midi=midi define which midi-player to use" echo " --with-midi-arg=arg define which args to use for the" echo " midi-player" + echo " --with-libtimidity enables libtimidity support" echo " --with-allegrol[=allegro-config]" echo " enables Allegro video driver support" echo " --with-cocoa enables COCOA video driver (OSX ONLY)" |