Just rebased my MR over master zampins@vulture:~/Devel/petsc$ make checkbadSource /bin/sh: 1: let: not found /bin/sh: 2: [: -gt: unexpected operator /bin/sh: 6: test: Illegal number: ! /home/zampins/Devel/petsc/lib/petsc/conf/rules:660: recipe for target 'checkbadSource' failed make[1]: *** [checkbadSource] Error 2 GNUmakefile:17: recipe for target 'checkbadSource' failed make: *** [checkbadSource] Error 2
-- Stefano