diff options
Diffstat (limited to 'scripts/dev')
-rwxr-xr-x | scripts/dev/phpextdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/phpextdist b/scripts/dev/phpextdist index 97df70020d..316a8bd5d6 100755 --- a/scripts/dev/phpextdist +++ b/scripts/dev/phpextdist @@ -13,7 +13,7 @@ if test ! -f Makefile.in || test ! -f config.m4; then fi rm -rf modules *.lo *.o *.la config.status config.cache \ -config.log libtool php_config.h config_vars.mk Makefile +config.log libtool php_config.h Makefile myname=`basename \`pwd\`` cd .. |