[Xen-changelog] [xen master] stubdom: fix "make distclean" regarding gmp

[patchbot@xxxxxxx]

commit 123ef76fdb0932dad5c621734eb8992815f6a757
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Fri Oct 28 16:53:20 2016 +0200
Commit:     Wei Liu <wei.liu2@xxxxxxxxxx>
CommitDate: Mon Oct 31 10:18:03 2016 +0000

    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@xxxxxxxx>
    Acked-by: Wei Liu <wei.liu2@xxxxxxxxxx>
    Release-acked-by: Wei Liu <wei.liu2@xxxxxxxxxx>
---
 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
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
https://lists.xenproject.org/xen-changelog