- Added '--untyped' switch which is to be preferred above the older
--match=2 notation.
This commit is contained in:
parent
d9b0f412e4
commit
99861d3e03
@ -561,8 +561,12 @@ switcher (const int process, int index, int commandline)
|
||||
{
|
||||
if (!process)
|
||||
{
|
||||
/*
|
||||
* Deprecated : use --untyped instead
|
||||
*
|
||||
helptext ("-m, --match=<int>",
|
||||
"type matching method [0] 0: No type-flaws allowed, 1: Allow basic type-flaws only, 2: Allow all type-flaws");
|
||||
*/
|
||||
}
|
||||
else
|
||||
{
|
||||
@ -571,6 +575,20 @@ switcher (const int process, int index, int commandline)
|
||||
}
|
||||
}
|
||||
|
||||
if (detect ('u', "untyped", 0))
|
||||
{
|
||||
if (!process)
|
||||
{
|
||||
helptext ("-u, --untyped",
|
||||
"Consider all variables to be untyped");
|
||||
}
|
||||
else
|
||||
{
|
||||
switches.match = 2;
|
||||
return index;
|
||||
}
|
||||
}
|
||||
|
||||
if (detect ('T', "timer", 1))
|
||||
{
|
||||
if (!process)
|
||||
|
Loading…
Reference in New Issue
Block a user