5 Commits (a3ddf9be9bb635e7b6ff14b5385f31c59812f933)

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