Re: [petsc-dev] bin/sh error while running tests