Searched full:run_gcov_options (Results 1 – 1 of 1) sorted by relevance
311 RUN_GCOV_OPTIONS: --decisions330 printf "RUN_GCOV_OPTIONS:$RUN_GCOV_OPTIONS\n";347 - if [ "${RUN_GCOV}" == 1 ]; then make gcov PETSC_GCOV_OPTIONS="${RUN_GCOV_OPTIONS}"; fi