From 123ef76fdb0932dad5c621734eb8992815f6a757 Mon Sep 17 00:00:00 2001 From: Juergen Gross Date: Fri, 28 Oct 2016 16:53:20 +0200 Subject: [PATCH] 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 --- stubdom/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2