From: Juergen Gross Date: Fri, 28 Oct 2016 14:53:20 +0000 (+0200) Subject: stubdom: fix "make distclean" regarding gmp X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~138 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=123ef76fdb0932dad5c621734eb8992815f6a757;p=xen.git stubdom: fix "make distclean" regarding gmp 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 Acked-by: Wei Liu Release-acked-by: Wei Liu --- diff --git a/stubdom/Makefile b/stubdom/Makefile index d7a47f0d9d..0252bcce80 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