d792d9e49e
This allows the output of the extra-coverage tests to be checked using the normal run-tests script.
9 lines
108 B
Python
9 lines
108 B
Python
try:
|
|
extra_coverage
|
|
except NameError:
|
|
print("SKIP")
|
|
import sys
|
|
sys.exit()
|
|
|
|
extra_coverage()
|