| Currently, the selection of the build directory is a runtime option in /configure This is dangerous, as it applies immediately but already loaded builds will not be discarded. This option should not be a runtime option, but instead be configured from some configuration file, or as system property. |