features: --version now logs +/-pgo

That is, whether the binary was compiled with PGO or not.
This commit is contained in:
Daniel Eklöf 2021-03-26 20:30:13 +01:00
parent 649820eeba
commit 9b20764f35
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
4 changed files with 20 additions and 4 deletions

View file

@ -10,3 +10,12 @@ static inline bool feature_ime(void)
return false;
#endif
}
static inline bool feature_pgo(void)
{
#if defined(FOOT_PGO_ENABLED) && FOOT_PGO_ENABLED
return true;
#else
return false;
#endif
}