xref: /petsc/src/tao/shell/makefile (revision c94509702c4c14fecb74b37ff4b849ad9c11f8ce)