chiark / gitweb /
Adjust the build script to turn the NestedVM build into a delegation,
authorSimon Tatham <anakin@pobox.com>
Thu, 27 Jun 2013 21:17:04 +0000 (21:17 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 27 Jun 2013 21:17:04 +0000 (21:17 +0000)
commit7ae22afaf365d7012ebca82b069cf9b3a145b302
tree3fa7bd45a77de5c8e81dc011d684ceef7c98914e
parent5732d1d2674573ce96b2203aec512e57533e64d1
Adjust the build script to turn the NestedVM build into a delegation,
so that not every machine on which I want to run the full Puzzles
build will have to have a local NestedVM installation.

[originally from svn r9882]
Buildscr