Re: [PATCH] Makefile: use SHELL_PATH when running generate-cmdlist.sh

2015-09-10 Thread Eric Sunshine
On Thu, Sep 10, 2015 at 7:37 PM, Alejandro R. Sedeño wrote: > Some /bin/sh implementations can't deal with $() arithmetic and command > substitution. If we already have a better shell on hand, we should use it. > > Fixes the build on SunOS, probably others. Makes sense. 527ec39^:generate-cmdlist.

[PATCH] Makefile: use SHELL_PATH when running generate-cmdlist.sh

2015-09-10 Thread Alejandro R . Sedeño
Some /bin/sh implementations can't deal with $() arithmetic and command substitution. If we already have a better shell on hand, we should use it. Fixes the build on SunOS, probably others. Signed-off-by: Alejandro R. Sedeño --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) di