* Fix `--from-profile'.
This commit is contained in:
parent
f32fef1b07
commit
fa61ee70ee
1 changed files with 5 additions and 3 deletions
|
@ -1407,10 +1407,12 @@ void run(Strings args)
|
||||||
globals.instSource.systemFilter = needArg(i, args, arg);
|
globals.instSource.systemFilter = needArg(i, args, arg);
|
||||||
else {
|
else {
|
||||||
remaining.push_back(arg);
|
remaining.push_back(arg);
|
||||||
if (arg[0] == '-')
|
if (arg[0] == '-') {
|
||||||
opFlags.push_back(arg);
|
opFlags.push_back(arg);
|
||||||
else
|
if (arg == "--from-profile") { /* !!! hack */
|
||||||
opArgs.push_back(arg);
|
if (i != args.end()) opFlags.push_back(*i++);
|
||||||
|
}
|
||||||
|
} else opArgs.push_back(arg);
|
||||||
}
|
}
|
||||||
|
|
||||||
if (oldOp && oldOp != op)
|
if (oldOp && oldOp != op)
|
||||||
|
|
Loading…
Reference in a new issue