Juergen Gross, on Fri 28 Oct 2016 16:53:20 +0200, wrote: > make distclean tries to remove stubdom/gmp-4.3.2.tar.gz, while the > downloaded file is stubdom/gmp-4.3.2.tar.bz2 > > Signed-off-by: Juergen Gross <jgr...@suse.com>
Acked-by: Samuel Thibault <samuel.thiba...@ens-lyon.org> > --- > stubdom/Makefile | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/stubdom/Makefile b/stubdom/Makefile > index d7a47f0..0252bcc 100644 > --- a/stubdom/Makefile > +++ b/stubdom/Makefile > @@ -649,7 +649,7 @@ patchclean: crossclean > downloadclean: patchclean > rm -f newlib-$(NEWLIB_VERSION).tar.gz > rm -f zlib-$(ZLIB_VERSION).tar.gz > - rm -f gmp-$(GMP_VERSION).tar.gz > + rm -f gmp-$(GMP_VERSION).tar.bz2 > rm -f tpm_emulator-$(TPMEMU_VERSION).tar.gz > rm -f pciutils-$(LIBPCI_VERSION).tar.bz2 > rm -f grub-$(GRUB_VERSION).tar.gz > -- > 2.6.6 > -- Samuel c> [ ] morning [ ] afternoon [ ] evening [ ] night , everyone (choose as applicable) _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
