7 Aug
2015
7 Aug
'15
11:29 p.m.
The failure comes on make validate for me. On 15-08-07 02:21 PM, Syd Bauman wrote:
I ran (the equivalent of) $ make clean $ make validate $ make html-web $ make test $ make exemplars
LB> Huzzah! Did you also run all the test suite?
MH> It comes here: MH> ... MH> I'm running make with no target -- are you running a specific MH> target?