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