On 12/7/20 12:26 PM, Paolo Bonzini wrote: > On 07/12/20 12:19, Claudio Fontana wrote: >> As in Subject, >> >> am I understanding correctly that the one or the other is redundant? >> >> Should we keep only one of them? > > In the code it's not strictly necessary. However in both Makefiles and > meson.build it made/makes things a bit clearer. > > Paolo >
K.. thanks a lot, maybe we should document all of this stuff in docs/devel/... Ciao, Claudio
