Searched defs:build_dir (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sig56 val build_dir : (string -> unit) -> int -> (string * int) -> unit value
H A Dbuildutils.sml645 fun build_dir Holmake selftest_level (dir, regulardir) = let function

Completed in 30 milliseconds