Fixed -help <mode> bug.

[splint.git] / src / help.c

diff --git a/src/help.c b/src/help.c
index 4f4deb784f9e96d4f2078577ab8dc4ccf8ccec6d..443f50c5f0158a5134ee9a68c96cf7afe6337951 100644 (file)
--- a/src/help.c
+++ b/src/help.c
@@ -524,6 +524,10 @@ void help_processFlags (int argc, char **argv)
        {
          printMaintainer ();
        }
+      else if (flags_isModeName (thisarg)) 
+       {
+         llmsg (describeMode (thisarg));
+       }
       else if (mstring_equal (thisarg, "flags"))
        {
          if (i + 1 < argc)