diff options
| author | Fedja Beader <fedja@protonmail.ch> | 2023-09-10 13:33:28 +0200 |
|---|---|---|
| committer | Fedja Beader <fedja@protonmail.ch> | 2023-09-10 13:33:28 +0200 |
| commit | 3f68449293de30d84e39fef761ca5a4734f99c32 (patch) | |
| tree | b42fdeb4d513d47e2a1602f1b57876c7dc25317c /tools/ci/scripts/init.sh | |
| parent | 1999cc4ec6a8d14730edb3c98dbf72011fce9ba6 (diff) | |
| download | manaverse-3f68449293de30d84e39fef761ca5a4734f99c32.tar.gz manaverse-3f68449293de30d84e39fef761ca5a4734f99c32.tar.bz2 manaverse-3f68449293de30d84e39fef761ca5a4734f99c32.tar.xz manaverse-3f68449293de30d84e39fef761ca5a4734f99c32.zip | |
Reduce number of grep invocations + prettify + wrap param expansion in quotes
Diffstat (limited to 'tools/ci/scripts/init.sh')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 4b0764488..656a4d765 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -242,10 +242,12 @@ function run_tarball { function run_mplint { rm $ERRFILE echo "mplint/src/mplint $*" - mplint/src/mplint $* \ - | grep -v "src/unittests/doctest.h" \ - | grep -v "src/unittests/catch.hpp" \ - | grep -v "src/debug/" \ - >$ERRFILE + mplint/src/mplint "$@" \ + | grep -v \ + -e "src/unittests/doctest.h" \ + -e "src/unittests/catch.hpp" \ + -e "src/debug/" \ + > "$ERRFILE" + run_check_warnings } |