[hail][bugfix] Some posix fixes for makefile (#7372)
[hail][bugfix] Some posix fixes for makefile (#7372)

On debian and derivatives, /bin/sh is dash, so bashisms won't work in
makefiles.
hail-is/hail,danking/hail,danking/hail,danking/hail,hail-is/hail,cseed/hail,cseed/hail,hail-is/hail,hail-is/hail,danking/hail,cseed/hail,cseed/hail,danking/hail,cseed/hail,hail-is/hail,danking/hail,hail-is/hail,danking/hail,danking/hail,hail-is/hail,cseed/hail,cseed/hail,cseed/hail,hail-is/hail