diff options
author | Erwan Velu <erwan.velu@free.fr> | 2009-11-30 20:47:45 +0100 |
---|---|---|
committer | Erwan Velu <erwan.velu@free.fr> | 2009-12-04 10:11:17 +0100 |
commit | 0e0e986594cb695730a14ece107ee7831b94de11 (patch) | |
tree | 3bcb4053af141b26b69e63055bc5e1337677f941 /com32/hdt/Makefile | |
parent | 600bf0fec52d41585f6fd6c50a861811f60ac17f (diff) | |
download | syslinux-0e0e986594cb695730a14ece107ee7831b94de11.tar.gz |
hdt: Makefile isn't gzipping pci.ids
Impact: avoid missed gzipping
The iso wasn't gzipping pci.ids correctly
Diffstat (limited to 'com32/hdt/Makefile')
-rw-r--r-- | com32/hdt/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/com32/hdt/Makefile b/com32/hdt/Makefile index d059bf2a..b3423493 100644 --- a/com32/hdt/Makefile +++ b/com32/hdt/Makefile @@ -92,8 +92,8 @@ hdt.iso: hdt.c32 $(topdir)/core/isolinux.bin $(FLOPPY_DIR)/hdt.cfg memtest cp $(FLOPPY_DIR)/$(MEMTEST) $(ISO_DIR)/$(ISOLINUX_DIR) cp $(MENU_COM32) $(ISO_DIR)/$(ISOLINUX_DIR) cp -av $(ART_DIR)/backgnd.png $(ISO_DIR)/$(ISOLINUX_DIR) - -[ ! -f $(GZ_PCI_IDS_FILE) ] && cp /usr/share/hwdata/pci.ids $(PCI_IDS_FILE) && $(GZIP) $(PCI_IDS_FILE) - -[ ! -f $(GZ_PCI_IDS_FILE) ] && cp /usr/share/pci.ids $(PCI_IDS_FILE) && $(GZIP) $(PCI_IDS_FILE) + -[ ! -f $(GZ_PCI_IDS_FILE) ] && cp /usr/share/hwdata/pci.ids $(PCI_IDS_FILE) && $(GZIPPROG) $(PCI_IDS_FILE) + -[ ! -f $(GZ_PCI_IDS_FILE) ] && cp /usr/share/pci.ids $(PCI_IDS_FILE) && $(GZIPPROG) $(PCI_IDS_FILE) -[ -f $(MODULES_ALIAS_FILE) ] && cp $(MODULES_ALIAS_FILE) $(ISO_DIR)/$(ISOLINUX_DIR)\ && $(GZIPPROG) $(ISO_DIR)/$(ISOLINUX_DIR)/modules.alias\ && mv $(ISO_DIR)/$(ISOLINUX_DIR)/modules.alias.gz $(ISO_DIR)/$(ISOLINUX_DIR)/modules.alias |