diff options
| author | mo khan <mo.khan@gmail.com> | 2020-02-20 16:35:27 -0700 |
|---|---|---|
| committer | mo khan <mo.khan@gmail.com> | 2020-02-20 16:35:27 -0700 |
| commit | 3bcad0265e0a00d083f44bc42adbdbca77cffbcd (patch) | |
| tree | eed70805982d718427540c202788d70cbaa0a738 /bin/lint | |
| parent | 87bc4c78940f28e3dd5a71ca549ae595c41e8351 (diff) | |
Extract TOOLS_IMAGE build arg
Diffstat (limited to 'bin/lint')
| -rwxr-xr-x | bin/lint | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,6 +1,7 @@ #!/bin/sh +shellcheck bin/* +shellcheck config/*.sh shellcheck config/.bashrc shellcheck config/.profile -shellcheck config/*.sh # shellcheck run.sh |