5 Commits (1341ca2ae0253e46718ce362af77355327be5837)

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