diff options
author | Johannes Schlüter <johannes@php.net> | 2012-07-22 23:30:06 +0200 |
---|---|---|
committer | Johannes Schlüter <johannes@php.net> | 2012-07-22 23:30:06 +0200 |
commit | f43e4f9883047b4be6bd01bf80f070682131ad5f (patch) | |
tree | 80b63cd885aaa349c67c7fcc558d5b4a716f7102 | |
parent | a3c84291316eb09cebe5ef78e235f93ae18ba9e5 (diff) | |
parent | 860b3ffe75a95f18ff3bf570c49c5004cb70cab1 (diff) | |
download | php-git-f43e4f9883047b4be6bd01bf80f070682131ad5f.tar.gz |
Merge branch 'PHP-5.4'
-rw-r--r-- | sapi/cli/config.m4 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sapi/cli/config.m4 b/sapi/cli/config.m4 index 77fc5e9551..cdfa1f7daf 100644 --- a/sapi/cli/config.m4 +++ b/sapi/cli/config.m4 @@ -44,5 +44,7 @@ if test "$PHP_CLI" != "no"; then PHP_SUBST(BUILD_CLI) PHP_OUTPUT(sapi/cli/php.1) + + PHP_INSTALL_HEADERS([sapi/cli/cli.h]) fi AC_MSG_RESULT($PHP_CLI) |