diff options
author | Kalle Sommer Nielsen <kalle@php.net> | 2016-10-19 01:14:15 +0200 |
---|---|---|
committer | Kalle Sommer Nielsen <kalle@php.net> | 2016-10-19 01:14:15 +0200 |
commit | 0ffd0a0217e8edefbb400f4dbab89009e41821b1 (patch) | |
tree | 1259301404d1aa9c7399fd9d1e2f8bc5437bc2fa /.gitignore | |
parent | 815ee7d06c08ae62819f989864690f8d6aca1e78 (diff) | |
download | php-git-0ffd0a0217e8edefbb400f4dbab89009e41821b1.tar.gz |
Improve the config.simple.bat for Windows a little;
This adds --with-config-profile=foobar, this generates a config.foobar.bat file in the root of php-src directory with the relevant configuration arguments.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index ea5d16a5a4..81e339a82f 100644 --- a/.gitignore +++ b/.gitignore @@ -56,7 +56,6 @@ config.cache config.h.in config.log config.nice -config.nice.bat config.status config.sub config_vars.mk @@ -285,4 +284,4 @@ win32/*.positions win32/ext win32/phpts.def win32/wsyslog.h -/config.simple.bat +config.*.bat |