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 <jgross@suse.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>

diff --git a/stubdom/Makefile b/stubdom/Makefile
index d7a47f0d9d7070e4ba9c86e65a4f80816b7386f9..0252bcce8077508918799e88a2dcb1fd9582e627 100644 (file)
--- 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