2 Commits

Author	SHA1	Message	Date
Eric Biggers	57ddb0571c	scripts/exec_tests.sh: address shellcheck warnings	2020-10-18 15:14:15 -07:00
Eric Biggers	bf50c64e86	scripts: rename tools/ directory to scripts/ ... "scripts" is a more descriptive name than "tools", which sounds too similar to "programs".	2020-10-18 15:14:15 -07:00