[petsc-dev] checkbadSource issue

[Stefano Zampini]

Just rebased my MR over master

zampins at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20201231/20e0896a/attachment.html>