[petsc-dev] checkbadSource issue

Jose E. Roman jroman at dsic.upv.es
Thu Dec 31 03:18:49 CST 2020

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


> El 31 dic 2020, a las 9:30, Stefano Zampini <stefano.zampini at gmail.com> escribió:
> 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

More information about the petsc-dev mailing list