Hi,
One more revision:
Attached are the prior patches plus one incremental one (to be squashed),
making the macports caching a bit smarter.
The performance improvements after touching
src/tools/ci/ci_macports_packages.sh, updating the package list, or starting
with a clean cache and then failing during build/test seems clearly worth the
complexity.
Greetings,
Andres
