hol.ml | 10 9 + 1 - 0 !
1 file changed, 9 insertions(+), 1 deletion(-)

 configure default hol light source directory

holtest | 8 4 + 4 - 0 !
1 file changed, 4 insertions(+), 4 deletions(-)

 don't build the proof-recording version as part of the test suite

holtest_parallel | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 cd for holtest_parallel because it works only in that directory