Searched refs:use_source (Results 1 – 1 of 1) sorted by relevance
| /petsc/config/ |
| H A D | query_tests.py | 239 def do_query(use_source, startdir, srcdir, testdir, petsc_dir, petsc_arch, argument
248 if use_source:
400 if not opts.use_source:
415 do_query(opts.use_source, startdir, petsc_full_src, petsc_full_test,
|