5 Commits (af46a4f57d6d921bf5a6ee6e55f6e4158feed6ee)

Author SHA1 Message Date
William Casarin f8fa4213f1 tools: use /usr/bin/env bash instead of /bin/bash 7 years ago
practicalswift 1a55147870 Be consistent in choice of shell across all shell scripts in repo 7 years ago
practicalswift b95d3b8f54 Fix shellcheck warnings 7 years ago
ZmnSCPxj e6de41b468 tools/rel.sh: Make POSIXLY compatible. 7 years ago
ZmnSCPxj 1946f0c288 Makefile: Add BINTOPKGLIBEXECDIR macro. 7 years ago