diff options
| -rw-r--r-- | includes/ghc.mk | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/includes/ghc.mk b/includes/ghc.mk index eeb52bac4f..374649330f 100644 --- a/includes/ghc.mk +++ b/includes/ghc.mk @@ -191,9 +191,9 @@ install: install_includes .PHONY: install_includes install_includes : $(call INSTALL_DIR,"$(DESTDIR)$(ghcheaderdir)") - for d in $(includes_H_SUBDIRS); do \ - $(call INSTALL_DIR,"$(DESTDIR)$(ghcheaderdir)/$$d"); \ - $(call INSTALL_HEADER,$(INSTALL_OPTS),includes/$$d/*.h,"$(DESTDIR)$(ghcheaderdir)/$$d/"); \ - done + $(foreach d,$(includes_H_SUBDIRS), \ + $(call INSTALL_DIR,"$(DESTDIR)$(ghcheaderdir)/$d") && \ + $(call INSTALL_HEADER,$(INSTALL_OPTS),includes/$d/*.h,"$(DESTDIR)$(ghcheaderdir)/$d/") && \ + ) true $(call INSTALL_HEADER,$(INSTALL_OPTS),$(includes_H_CONFIG) $(includes_H_PLATFORM),"$(DESTDIR)$(ghcheaderdir)/") |