run-all-extension-tests revision 83aaf46c9feab529aeb9add871c05c3d1177afcc
7207N/Ahas_py_coverage=false
7207N/A has_py_coverage=true
7207N/A has_py_coverage=true
7207N/A if $has_py_coverage; then
7207N/A let tot_FAILED++
7207N/Aif $has_py_coverage; then