Damn Ubuntu, that dash decision they made has screwed me over so often (and not just with stuff I write 😦)

Makes me sad to see the padding go but I guess this is better than not working at all.

I have not find an elegant way to do this with posix shell.

Can we just somehow tell Make to use /bin/bash?

then everybody needs to remember to use make SH=/bin/bash

Can we just somehow tell Make to use /bin/bash?

Yes, with SHELL = /bin/bash in the Makefile. But there is no /bin/bash in NixOS by default. This can be accounted for with:

SHELL := $(wildcard /bin/bash)
ifneq ($(SHELL), /bin/bash)
SHELL := /bin/sh
endif

Or SHELL = bash? (Does it have to be absolute path?)

@bjornfor That's perfect!

The linux kernel has this Makefile snippet, but I figure we can skip right to the $PATH lookup part :-)

CONFIG_SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
	  else if [ -x /bin/bash ]; then echo /bin/bash; \
	  else echo sh; fi ; fi)