Merge changes from topic "bashisms"
authorRobert Varga <nite@hq.sk>
Fri, 12 Aug 2022 21:49:14 +0000 (21:49 +0000)
committerGerrit Code Review <gerrit@opendaylight.org>
Fri, 12 Aug 2022 21:49:14 +0000 (21:49 +0000)
* changes:
  Chore: add a checkbashism tox profile
  Clean bashisms in jjb distribution-check-bootup.sh


Trivial merge