diff options
-rw-r--r-- | scripts/Makefile.frag | 2 | ||||
-rwxr-xr-x | scripts/dev/phpextdist (renamed from scripts/phpextdist) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Makefile.frag b/scripts/Makefile.frag index 4072d9a8c2..eaafb71a83 100644 --- a/scripts/Makefile.frag +++ b/scripts/Makefile.frag @@ -21,7 +21,7 @@ BUILD_FILES_EXEC = \ config.sub bin_SCRIPTS = phpize php-config -bin_src_SCRIPTS = phpextdist +bin_src_SCRIPTS = install-build: @echo "Installing build environment: $(INSTALL_ROOT)$(phpbuilddir)/" diff --git a/scripts/phpextdist b/scripts/dev/phpextdist index 97df70020d..97df70020d 100755 --- a/scripts/phpextdist +++ b/scripts/dev/phpextdist |