Searched defs:quietopt (Results 1 – 2 of 2) sorted by relevance
428 const char *const quietopt = "-options_suppress_deprecated_warnings"; in PetscOptionsCheckInitial_Private() local
3326 const char *const quietopt = "-options_suppress_deprecated_warnings"; in PetscOptionsDeprecated_Private() local