hashdist/hashstack — pull request #519 by ahmadia (2014-11-28 16:52:26+00:00)
Title: Fix option to disable PETSc debugging

Reported-by: Johannes Ring

Fixes problem noted here: https://github.com/hashdist/hashstack/commit/305056e55e0bcc2dbcce5030c670534b02beb6c8#commitcomment-8761113