chiark / gitweb /
Cleaner way to fix ctest (#144)