[MLton] 20051202 on Debian build failures

Henry Cejtin henry.cejtin@sbcglobal.net
Mon, 05 Dec 2005 18:27:50 -0600

The last command listed is
	/usr/bin/make -C runtime
If any thing had been in an actual make command, it should have listed the
command, so my guess is that it is that it must be one of the
	$(shell ...)
commands, although when I wrote such a thing which exited with a non-zero, it
didn't complain at all.
I.e., I'm confused.