Hi,
On Tue, Sep 27, 2016 at 02:35:11PM +0200, Clemens Gruber wrote:
> On Tue, Sep 27, 2016 at 08:37:58AM +0200, Michael Olbrich wrote:
> > On Mon, Sep 26, 2016 at 09:33:34PM +0200, Clemens Gruber wrote:
[snip]
...
> > > - --disable-omczmq \
> > > - --disable-omrabbitmq \
> > > - --disable-omhiredis \
> >
> > don't remove configure options that still exist.
>
> I removed them because they all default to disabled. Do you still want
> to keep them redundantly?
It has more to do with safety than redundancy as defaults can change
over time, so keeping explicitely disabled options is common practice
over ptxdist codebase.
ladis
_______________________________________________
ptxdist mailing list
ptxdist@pengutronix.de
