/*
** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
# include "basic.h"
# include "help.h"
# include "osd.h"
-# include "portab.h"
+# include "llmain.h"
# include "version.h"
static void
llmsglit (" --- path used to find #include'd files");
llmsg (message
- ("systemdirs = %s (set by -systemdirs or environment variable %s)", /*@i413223@*/
+ ("systemdirs = %s (set by -systemdirs or environment variable %s)",
context_getString (FLG_SYSTEMDIRS),
INCLUDEPATH_VAR));
llmsglit ("");
llmsglit ("There are two mailing lists associated with Splint: ");
llmsglit ("");
- llmsglit (" lclint-announce@virginia.edu");
+ llmsglit (" splint-announce@cs.virginia.edu");
llmsglit ("");
llmsglit (" Reserved for announcements of new releases and bug fixes.");
- llmsglit (" To subscribe, send a message to majordomo@virginia.edu with body: ");
- llmsglit (" subscribe lclint-announce");
llmsglit ("");
- llmsglit (" lclint-interest@virginia.edu");
+ llmsglit (" splint-discuss@virginia.edu");
llmsglit ("");
llmsglit (" Informal discussions on the use and development of Splint.");
- llmsglit (" To subscribe, send a message to majordomo@virginia.edu with body: ");
- llmsglit (" subscribe lclint-interest");
+ llmsglit ("");
+ llmsglit ("To subscribe or view archives, visit http://www.splint.org/lists.html");
}
static void
{
printMaintainer ();
}
+ else if (flags_isModeName (cstring_fromChars (thisarg)))
+ {
+ llmsg (describeMode (cstring_fromChars (thisarg)));
+ }
else if (mstring_equal (thisarg, "flags"))
{
if (i + 1 < argc)