diff options
| author | Michael Wallner <mike@php.net> | 2005-11-22 00:51:24 +0000 |
|---|---|---|
| committer | Michael Wallner <mike@php.net> | 2005-11-22 00:51:24 +0000 |
| commit | 17f33c3bf3513d490f8658167fa7d709f7889622 (patch) | |
| tree | 5e6184ea431ced1287bc7635f7ef16b759d5a171 | |
| parent | 720938f4ada38b208319c4c9960016ebfad3e7d7 (diff) | |
| download | php-git-17f33c3bf3513d490f8658167fa7d709f7889622.tar.gz | |
- MF51: fix make install
| -rw-r--r-- | Makefile.global | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.global b/Makefile.global index d641611239..a98d80bf11 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"; \ |