I am getting the same in some machines. I don't think this is due to a recent change.
In the pipeline, it is run as $ make checkbadSource SHELL=bash which solves the issue. On the other hand, in the 'checksource' job in the pipelines, there are errors (probably not important): gmakefile.test:100: arch-linux-c-debug/tests/testfiles: No such file or directory gmakefile:67: arch-linux-c-debug/lib/petsc/conf/files: No such file or directory Jose > El 31 dic 2020, a las 9:30, Stefano Zampini <stefano.zamp...@gmail.com> > escribió: > > 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