]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d554d91) | patch
Make gen_stub parallelism safe
authorNikita Popov <nikita.ppv@gmail.com>
Tue, 21 Apr 2020 08:17:19 +0000 (10:17 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Tue, 21 Apr 2020 08:20:51 +0000 (10:20 +0200)
commitfa4bdf1cda3d48e2715841aa0bf5859e4b860ae5
tree23fca7136284af7e6487f1996c35ee6c2696d4eftree | snapshot
parentd554d91ce70c9397f4d700955fd9c70e578d362ccommit | diff
Make gen_stub parallelism safe

If PHP-Parser is not yet installed, make sure we don't try to
install it N times in parallel.
build/gen_stub.php diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.