diff --git a/.travis_build_petsc4py.sh b/.travis_build_petsc4py.sh index 8a4ccd1ec..4abcdf98f 100644 --- a/.travis_build_petsc4py.sh +++ b/.travis_build_petsc4py.sh @@ -2,6 +2,10 @@ # Get <#> git clone https://github.com/hashdist/hashdist +( + cd hashdist + git checkout v0.3 +) export PATH=`pwd`/hashdist/bin:$PATH # a reasonable profile for building petsc4py on Travis