Oleg Gaidarenko fd7c38c62f Build: Introduce shellcheck (#18081) ...

* Build: introduce shellcheck

Fixes #16198

(cherry picked from commit 4b16cd6cc8)

2019-08-02 11:47:05 +02:00

..

exit-if-fail.sh

Build: Introduce shellcheck (#18081)

2019-08-02 11:47:05 +02:00