>>> On 10.07.18 at 12:18, <[email protected]> wrote: >>>> On 10.07.18 at 10:31, <[email protected]> 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? Jan _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
