Lines Matching defs:grubdataDATA_INSTALL
10528 grubdataDATA_INSTALL = $(INSTALL_DATA)18145 echo " $(grubdataDATA_INSTALL) '$$d$$p' '$(DESTDIR)$(grubdatadir)/$$f'"; \18146 $(grubdataDATA_INSTALL) "$$d$$p" "$(DESTDIR)$(grubdatadir)/$$f"; \