diff options
| author | Anatol Belski <ab@php.net> | 2016-03-01 09:35:00 +0100 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2016-03-01 09:37:50 +0100 |
| commit | bb80c00a0099dd12ddec0380250834b64c1f92f2 (patch) | |
| tree | 066ee39d3461e5b488f0171cec7edf4c33f69cfe | |
| parent | 08af2f9a1166e29d6c643e47f2ebf5a694cc76d0 (diff) | |
| download | php-git-bb80c00a0099dd12ddec0380250834b64c1f92f2.tar.gz | |
extend check for add_flag
| -rw-r--r-- | win32/build/confutils.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/win32/build/confutils.js b/win32/build/confutils.js index 95f7985c3d..dd9bddd57a 100644 --- a/win32/build/confutils.js +++ b/win32/build/confutils.js @@ -2156,7 +2156,7 @@ function ADD_FLAG(name, flags, target) match can be done. This will also help to normalize flags and to not to insert duplicates. */ - if (curr_flags.indexOf(" " + flags) >= 0) { + if (curr_flags.indexOf(" " + flags) >= 0 || curr_flags.indexOf(flags + " ") >= 0) { return; } |