Home
last modified time | relevance | path

Searched refs:get_global_divider_length (Results 1 – 4 of 4) sorted by relevance

/petsc/config/BuildSystem/
H A Dlogger.py18 def get_global_divider_length(): function
46 length = get_global_divider_length()
85 kwargs.setdefault('length', get_global_divider_length())
331 length = get_global_divider_length()
H A Dhelp.py44 divider = '-' * logger.get_global_divider_length()
161 f.write('-' * logger.get_global_divider_length() + '\n')
/petsc/config/PETSc/options/
H A Darch.py214 banner_middle = '=' * (logger.get_global_divider_length() - 2 * len(banner_ends))
/petsc/config/PETSc/
H A DConfigure.py27 banner_middle = '=' * (logger.get_global_divider_length() - 2 * len(banner_ends))