7 years ago · 0c9c394c7a
parent dffe0d311b
commit 0c9c394c7a
1 changed files with 1 additions and 0 deletions
--- a/check_pytools.sh
+++ b/check_pytools.sh
@ -73,6 +73,7 @@ if [ $skip_checks = 0 ]; then
 echo
 echo "Running validation programs:"
 echo
+validate_ini_path="$(which validate_ini.py || :)"
 if [ -z "$validate_ini_path" ]; then
    echo "Failed to find validate_ini.py in \$PATH ($PATH)"
    exit 1