5 Commits (181764b12daf1c3346690895e44610cd50565d7a)

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