Add note about rebuilding with coverage

oscarbenjamin · oscarbenjamin · commit a1d68f5caafc · 2024-02-01T21:21:13.000Z
diff --git a/bin/coverage.sh b/bin/coverage.sh
@@ -31,6 +31,9 @@ source bin/activate
 
 export PYTHON_FLINT_COVERAGE=true
 
+# Force a rebuild of everything with coverage tracing enabled:
+# touch src/flint/flintlib/*
+
 python setup.py build_ext --inplace
 
 coverage run -m flint.test $@
