Merge pull request #1798 from rocallahan/initialize-verbosity

Initialize m_verbosity_level on demand to avoid depending on the orde…
This commit is contained in:
Matthias Köfferlein 2024-07-23 18:26:31 +02:00 committed by GitHub
commit de08a01e03
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 3 deletions

View File

@ -49,18 +49,22 @@ static int default_verbosity ()
return verbosity;
}
static int m_verbosity_level = default_verbosity ();
static int &verbosity_level ()
{
static int level = default_verbosity ();
return level;
}
void
verbosity (int level)
{
m_verbosity_level = level;
verbosity_level () = level;
}
int
verbosity ()
{
return m_verbosity_level;
return verbosity_level ();
}
// ------------------------------------------------