William Casarin f8fa4213f1 tools: use /usr/bin/env bash instead of /bin/bash ...

These commands fail on systems that do not have bash under /bin

Signed-off-by: William Casarin <jb55@jb55.com>

2018-07-24 00:25:43 +00:00

2.0 KiB

Executable File

Raw Blame History

View Raw