History log of /seL4-l4v-10.1.1/HOL4/tools/buildcline.sig
Revision Date Author Comments
# ccf751b7 26-Jan-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Start to write some build command-line infrastructure

Build is going to pick up at least two new options

--relocbuild

and

cleanForReloc

so I want to make command-line handling more uniform (using GetOpt),
as has already been done for Holmake.

None of this code is linked yet.