dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d642313) | patch
phan: Don't hardcode 'php7.0' binary
authoraddshore <addshorewiki@gmail.com>
Wed, 11 Jan 2017 22:22:07 +0000 (14:22 -0800)
committeraddshore <addshorewiki@gmail.com>
Wed, 11 Jan 2017 22:27:58 +0000 (14:27 -0800)
commit38376facc699841b630cce0f45d408d61734a626
tree8ad44176209e10ada906f5d69d2c8acb3c89e6e6tree | snapshot
parentd6423137639590a19580198429d7845388943e39commit | diff
phan: Don't hardcode 'php7.0' binary

This isn't available on all systems, e.g. Fedora just uses "php". People
with multiple versions of PHP installed can use an alternatives system
or something to make sure PHP 7 is used.

Change-Id: I03ef7c2d4223ade32f7a89c3a88706ae8c6e8156
tests/phan/bin/phan diff | blob | history
Wiklou, le Wiki du Wiklou