[petsc-dev] checkbadSource issue

Barry Smith bsmith at petsc.dev
Thu Dec 31 12:37:10 CST 2020

   The make on these systems is defaulting to using sh as the shell (which does not support these constructs). 

   If SHELL is set to bash in the environment or the command line then it will use bash and everything is fine. 

   If I put SHELL = bash as the third line of rules then the problem goes away. I don't know if there are some bad side effects 
of setting it there. Trying a build and make alltests with it set.

    I don't know why what have triggered this recent change for you.

> On Dec 31, 2020, at 3:18 AM, Jose E. Roman <jroman at dsic.upv.es> wrote:
> 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.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