On Tue, Jul 24, 2018 at 07:40:11AM -0600, Jan Beulich wrote: > >>> On 10.07.18 at 12:18, <jbeul...@suse.com> wrote: > >>>> On 10.07.18 at 10:31, <jgr...@suse.com> wrote: > >> The default value of DEFCONFIG_LIST is wrong: it should be the value of > >> the configured ARCH_DEFCONFIG item, not the string "$ARCH_DEFCONFIG". > > > > Makse sense and matches Linux, but I'd still prefer to have Doug's > > consent here. > > Ping? >
Apologies. I've checked and the patch is correct. Reviewed-by: Doug Goldstein <car...@cardoe.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel