mirage/mirage — pull request #212 by avsm (2014-02-09 17:51:10+00:00)
Title: Change the order of processing the command-line options and dynlinking

Previously, `mirage configure --xen` would called `Mirage.set_mode`
after processing `config.ml`. This results in `Mirage.get_mode`
always returning `Unix` when queried from the configuration file,
which isn't helpful when trying to select which libraries to build.