On 01/22/2018 01:14 PM, Mathieu Lirzin wrote:
-SHELL=/bin/bash +SHELL=bash
Historically $(SHELL) needed to be absolute, so that it could be put into the #! lines at the start of script. Does this ever happen with Gnulib? If so, we need a better solution than that.
