Re: [PATCH] build: Allow user to specify ruby executable

2018-05-10 Thread David Bremner
Thomas Schneider writes: > This way, one can build for a different Ruby than $PATH/ruby > (e. g. different versions, or Ruby in other paths). > > Signed-off-by: Thomas Schneider pushed to master. d ___ notmuch

Re: [PATCH] build: Allow user to specify ruby executable

2018-05-10 Thread Tomi Ollila
On Wed, May 09 2018, Thomas Schneider wrote: > This way, one can build for a different Ruby than $PATH/ruby > (e. g. different versions, or Ruby in other paths). LGTM. Tomi > > Signed-off-by: Thomas Schneider > --- > bindings/Makefile.local | 2 +- > configure

[PATCH] build: Allow user to specify ruby executable

2018-05-09 Thread Thomas Schneider
This way, one can build for a different Ruby than $PATH/ruby (e. g. different versions, or Ruby in other paths). Signed-off-by: Thomas Schneider --- bindings/Makefile.local | 2 +- configure | 11 ++- test/test-lib.sh| 2 +- 3 files changed, 12