>>> 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. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
