On Tue, 13 Mar 2018 13:58:42 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote: > > I think there needs to be a comment in compiler/handle_options.m > pointing to this code (i.e. from the code that handles the implications > of the pregenerated_dist option) and the other way around. Done. Peter