Merge "Use gerrit repo name when moving documentation"
diff --git a/packer/provision/basebuild.sh b/packer/provision/basebuild.sh
index 76212c7..0c24364 100644
--- a/packer/provision/basebuild.sh
+++ b/packer/provision/basebuild.sh
@@ -274,6 +274,14 @@
 jenkins ALL=(ALL) NOPASSWD:SETENV: CMDS
 EOF
 
+    # install hadolint (Dockerfile checker)
+    HADOLINT_VERSION="1.17.1"
+    HADOLINT_SHA256SUM="2f8f3bf120e9766e6e79f7a86fed8ede55ebbf2042175b68a7c899a74eabbf34"
+    curl -L -o /tmp/hadolint https://github.com/hadolint/hadolint/releases/download/v${HADOLINT_VERSION}/hadolint-Linux-x86_64
+    echo "$HADOLINT_SHA256SUM  /tmp/hadolint" | sha256sum -c -
+    mv /tmp/hadolint /usr/local/bin/hadolint
+    chmod -R a+rx /usr/local/bin/hadolint
+
     # remove apparmor
     service apparmor stop
     update-rc.d -f apparmor remove