diff --git a/tools/validate b/tools/validate index 4f237b783..33d9912bb 100755 --- a/tools/validate +++ b/tools/validate @@ -1,3 +1,5 @@ #!/usr/bin/env bash -python validate.py $1 $2 +pushd .. > /dev/null +python "tools/validate.py" $1 $2 +popd > /dev/null