bug#17477: flymake-mode looks at wrong PHP binary

[Joe Borġ]

Yes, that does work fine.  Just a bloody nuisance!  It should default to `php` or `/usr/bin/env php`

Regards,
Joseph David Borġ
josephb.org

On 13 May 2014 16:45, Glenn Morris <rgm@gnu.org> wrote:

Joe Borġ wrote:

> Thanks for your help.  I'm going to create a pull request with a fix for
> them.

Great! (AFAICS, just defaulting php-executable to "php" would be enough.)