diff options
author | Pedro Magalhães <mail@pmmaga.net> | 2018-02-21 22:44:06 +0000 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2018-02-22 08:04:33 +0100 |
commit | 230ef2d94774939f92128bcbbc54ffc046c2000e (patch) | |
tree | 1f7cf25517d942e5e53c5bbf56e3c7d92926b52a /ext/ext_skel.php | |
parent | 927748b2716f4f01cdbcc52c4ae8ecd52d6b185f (diff) | |
download | php-git-230ef2d94774939f92128bcbbc54ffc046c2000e.tar.gz |
improve extension skeleton generator
Diffstat (limited to 'ext/ext_skel.php')
-rw-r--r-- | ext/ext_skel.php | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/ext/ext_skel.php b/ext/ext_skel.php index b5e3aad0a9..adfe76d39c 100644 --- a/ext/ext_skel.php +++ b/ext/ext_skel.php @@ -140,7 +140,7 @@ function process_args($argv, $argc) { continue; } - $options[$opt] = ($opt == 'dir' ? realpath($argv[$i + 1]) : $argv[$i + 1]); + $options[$opt] = ($opt == 'dir' ? realpath($argv[$i + 1]) . DIRECTORY_SEPARATOR : $argv[$i + 1]); } break; default: { @@ -249,9 +249,7 @@ function copy_config_scripts() { $files[] = 'config.w32'; } - if (!$files) { - return; - } + $files[] = '.gitignore'; foreach($files as $config_script) { $new_config_script = $options['dir'] . $options['ext'] . DIRECTORY_SEPARATOR . $config_script; |