diff options
| -rw-r--r-- | Makefile.global | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.global b/Makefile.global index 86e6fc97d9..dba7879cb7 100644 --- a/Makefile.global +++ b/Makefile.global @@ -43,7 +43,7 @@ install-modules: build-modules @$(INSTALL) modules/* $(INSTALL_ROOT)$(EXTENSION_DIR) install-headers: - -@if test "$(INSTALL_HEADERS)"; then + -@if test "$(INSTALL_HEADERS)"; then \ for i in $(INSTALL_HEADERS); do \ i=`$(top_srcdir)/build/shtool path -d $$i`; \ paths="$$paths $(INSTALL_ROOT)$(phpincludedir)/$$i"; \ |