Home
last modified time | relevance | path

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

/petsc/config/PETSc/
H A DConfigure.py944 def make_flag_list(default, extra): function
966 coverage_flags = make_flag_list('--coverage', extra_coverage_flags)
1025 debug_flags = make_flag_list('-Og', extra_debug_flags)