On Sun, Jul 22, 2018 at 02:53:51PM -0400, Tom Lane wrote: > Oh! Hm, I wonder whether we shouldn't do that, ie add SHELL = @SHELL@ > to Makefile.global.in.
That sounds like a good idea to me. > A quick trawl of the buildfarm logs says most of our animals compute > SHELL = /bin/sh anyway, and so would be unaffected. There's a sizable > population that find /bin/bash though, and one active critter that finds > /bin/ksh. Except for the FreeBSD boxes, right? I thought that using directly /bin/ and not /usr/local/bin/ was considered an abuse of Linux in their universe. -- Michael
signature.asc
Description: PGP signature
