#
bd59c5b8 |
|
11-Jan-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Test-case illustrating a current bug in Holmake Holmake at the top of (a clean) indepchildren tree will fail to build ultimateTheory because dir2Theory will not load, not having the correct dependency on baseTheory recorded in its .uo file. Not in the build sequence because I don't have a fix for it yet.
|