From 2c9bf198238f152a36b8b58d3dcd9931f45ceb7e Mon Sep 17 00:00:00 2001
From: foobar <sniper@php.net>
Date: Sat, 30 Apr 2005 02:40:19 +0000
Subject: [PATCH] Moved phpextdist to dev/

---
 scripts/Makefile.frag        | 2 +-
 scripts/{ => dev}/phpextdist | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename scripts/{ => dev}/phpextdist (100%)

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
similarity index 100%
rename from scripts/phpextdist
rename to scripts/dev/phpextdist
-- 
2.40.0