Searched full:run_gcov (Results 1 – 1 of 1) sorted by relevance
310 RUN_GCOV: 1315 RUN_GCOV: 0329 - if [ "${RUN_GCOV}" == 1 ]; then347 - if [ "${RUN_GCOV}" == 1 ]; then make gcov PETSC_GCOV_OPTIONS="${RUN_GCOV_OPTIONS}"; fi