Don't install tools if $(TOOLS) is empty, by Thayne Harbaugh.

[qemu.git] / Makefile

diff --git a/Makefile b/Makefile
index 5ed7eb5c44e3de0af52d9549b411e2f7bc40e0a2..0eb39b5c0df98bfb59c1812a057fd62a2b20138e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -67,7 +67,9 @@ endif
 
 install: all $(if $(BUILD_DOCS),install-doc)
        mkdir -p "$(DESTDIR)$(bindir)"
+ifneq ($(TOOLS),)
        $(INSTALL) -m 755 -s $(TOOLS) "$(DESTDIR)$(bindir)"
+endif
        mkdir -p "$(DESTDIR)$(datadir)"
        for x in bios.bin vgabios.bin vgabios-cirrus.bin ppc_rom.bin \
                video.x openbios-sparc32 pxe-ne2k_pci.bin \