[petsc-dev] checkbadSource issue

[Barry Smith]

  https://gitlab.com/petsc/petsc/-/merge_requests/3532 <https://gitlab.com/petsc/petsc/-/merge_requests/3532>  attempts to remove bash specific syntax from checkbadSource.



> 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
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20210101/c8603af3/attachment.html>