michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(shell/lean.cpp): fix not to overwrite optind by getopt_long

Browse source
This commit is contained in:
Soonho Kong 2013-12-12 23:20:47 -05:00
parent ae52c8062e
commit f90a9e96d0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/shell/lean.cpp
View file

@ -93,7 +93,7 @@ int main(int argc, char ** argv) {
lean::register_modules(); lean::register_modules();
input_kind default_k = input_kind::Lean; // default input_kind default_k = input_kind::Lean; // default
while (true) { while (true) {
int c = getopt_long(argc, argv, "lugvhc:012s:012", g_long_options, &optind); int c = getopt_long(argc, argv, "lugvhc:012s:012", g_long_options, NULL);
if (c == -1) if (c == -1)
break; // end of command line break; // end of command line
switch (c) { switch (c) {