merged -m flag with -j flag
This commit is contained in:
@@ -55,7 +55,9 @@ main(argc,argv) register string argv[]; {
|
||||
case 'j':
|
||||
case 'J':
|
||||
jmptable_option = 1;
|
||||
continue;
|
||||
if (*++arg)
|
||||
min_cases_for_jmptable = atoi(arg);
|
||||
break;
|
||||
case 'w':
|
||||
case 'W':
|
||||
wflag = 1;
|
||||
@@ -72,10 +74,6 @@ main(argc,argv) register string argv[]; {
|
||||
case 'H':
|
||||
high_percentage = atoi(++arg);
|
||||
break;
|
||||
case 'm':
|
||||
case 'M':
|
||||
min_cases_for_jmptable = atoi(++arg);
|
||||
break;
|
||||
# ifndef NDEBUG
|
||||
case 'd':
|
||||
case 'D':
|
||||
|
||||
Reference in New Issue
Block a user