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.
Barry
I don't know why what have triggered this recent change for you.
> On Dec 31, 2020, at 3:18 AM, Jose E. Roman <[email protected]> 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 <[email protected]>
>> 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
>
