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