On 19/10/16 14:52, Andrew Haley wrote: > With "mx build", the > first time you run it you get asked which VM to use, but never again. Just for reference: the setting is stored in the mx.graal-core/env file. - Josef