misc sonarlint stuff

Signed-off-by: Rosen Penev <rosenp@gmail.com>
2022-08-19 19:54:43 -07:00
parent 89d7798f1d
commit 71dc04ebb1
14 changed files with 53 additions and 46 deletions
@@ -83,7 +83,7 @@ int Getopt::getopt(int argc, char* const argv[], const std::string& optstring) {
  progname_ = fs::path(argv[0]).filename().string();
  Util::optind = 0;  // reset the Util::Getopt scanner

-  for (; !errcnt_;) {
+  while (!errcnt_) {
    int c = Util::getopt(argc, argv, optstring.c_str());
    if (c == -1) {
      break;