Administrivia and more coverage

This commit is contained in:
rocky
2017-11-29 10:12:09 -05:00
parent 98312c172b
commit 278756be49
12 changed files with 26 additions and 0 deletions

View File

@@ -1,4 +1,6 @@
# -*- shell-script -*-
# Sets PYVERSIONS to be pyenv versions that
# we can use in the master branch.
if [[ $0 == ${BASH_SOURCE[0]} ]] ; then
echo "This script should be *sourced* rather than run directly through bash"
exit 1