History log of /seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/depchain1/dir3/nextScript.sml
Revision Date Author Comments
# b93abac8 20-Jan-2015 Michael Norrish <michael.norrish@nicta.com.au>

A test-case for a Holmake bug.

This should break Moscow ML builds, but Poly/ML builds from nothing
get around it because of a hacky use of a reference in Holdep. If the
Poly/ML build is staged, then the bug resurfaces.