>>> On 13.05.19 at 15:47, <[email protected]> wrote: > --- a/INSTALL > +++ b/INSTALL > @@ -225,7 +225,6 @@ XEN_BUILD_TIME=hh:mm:ss > SMBIOS_REL_DATE=mm/dd/yyyy > VGABIOS_REL_DATE="dd Mon yyyy" > > -During tools build external repos will be cloned into the source tree. > This variable can be used to point to a different git binary to be used. > GIT=
To me it would seem more logical to delete the other, later instance of the sentence. You wouldn't need $(GIT) if there was no cloning. Jan _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
