<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div> <a href="https://gitlab.com/petsc/petsc/-/merge_requests/3532" class="">https://gitlab.com/petsc/petsc/-/merge_requests/3532</a> attempts to remove bash specific syntax from checkbadSource.<div class=""><br class=""></div><div class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Dec 31, 2020, at 3:18 AM, Jose E. Roman <<a href="mailto:jroman@dsic.upv.es" class="">jroman@dsic.upv.es</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">I am getting the same in some machines. I don't think this is due to a recent change.<br class=""><br class="">In the pipeline, it is run as<br class="">$ make checkbadSource SHELL=bash<br class="">which solves the issue.<br class=""><br class=""><br class="">On the other hand, in the 'checksource' job in the pipelines, there are errors (probably not important):<br class="">gmakefile.test:100: arch-linux-c-debug/tests/testfiles: No such file or directory<br class="">gmakefile:67: arch-linux-c-debug/lib/petsc/conf/files: No such file or directory<br class=""><br class="">Jose<br class=""><br class=""><blockquote type="cite" class="">El 31 dic 2020, a las 9:30, Stefano Zampini <<a href="mailto:stefano.zampini@gmail.com" class="">stefano.zampini@gmail.com</a>> escribió:<br class=""><br class="">Just rebased my MR over master<br class=""><br class="">zampins@vulture:~/Devel/petsc$ make checkbadSource<br class="">/bin/sh: 1: let: not found<br class="">/bin/sh: 2: [: -gt: unexpected operator<br class="">/bin/sh: 6: test: Illegal number: !<br class="">/home/zampins/Devel/petsc/lib/petsc/conf/rules:660: recipe for target 'checkbadSource' failed<br class="">make[1]: *** [checkbadSource] Error 2<br class="">GNUmakefile:17: recipe for target 'checkbadSource' failed<br class="">make: *** [checkbadSource] Error 2<br class=""><br class="">-- <br class="">Stefano<br class=""></blockquote><br class=""></div></div></blockquote></div><br class=""></div></body></html>