summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2021-05-19 17:31:33 +0200
committerGitHub <noreply@github.com>2021-05-19 17:31:33 +0200
commit94e6ed6110d140d4d1006e286a05d178090d9d78 (patch)
tree868f43eb3eaaa886255ea1c8266dca4805b4c51d /Makefile
parentd255e5637b45a05d7a3b01d261affdcfc120b653 (diff)
parent130e58f982d1b8f471f2637faca77ae5a0bcb0b6 (diff)
Merge pull request #66 from return42/docker-buildx
review of docker entry point & docker documentation
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 2d760c496..c2c9cf49e 100644
--- a/Makefile
+++ b/Makefile
@@ -54,6 +54,8 @@ PHONY += test ci.test test.shell
ci.test: test.pep8 test.pylint test.unit test.robot
test: test.pep8 test.pylint test.unit test.robot test.shell
test.shell:
+ $(Q)shellcheck -x -s dash \
+ dockerfiles/docker-entrypoint.sh
$(Q)shellcheck -x -s bash \
utils/brand.env \
./manage \