From 788ba6b798292710010dd0dfd03829f5f245f1d0 Mon Sep 17 00:00:00 2001
From: "A.J. Stein" <alexander.stein@nist.gov>
Date: Fri, 19 Jul 2024 18:12:49 -0400
Subject: [PATCH] Make tools from tool_install executable too, fix #439

---
 docker/action/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/action/Dockerfile b/docker/action/Dockerfile
index c97d5a31..49e985b5 100644
--- a/docker/action/Dockerfile
+++ b/docker/action/Dockerfile
@@ -64,6 +64,7 @@ RUN set -e; \
       curl -SSLf -o "/usr/local/bin/${tool}" \
         "https://raw.githubusercontent.com/ietf-tools/${tool}-mirror/${version}/${tool}"; \
       [ $(sha256sum -b "/usr/local/bin/${tool}" | cut -d ' ' -f 1 -) = "$sha" ]; \
+      chmod 755 "/usr/local/bin/${tool}"; \
     }; \
     set -x; \
     tool_install idnits bfda9518d5b4e8a682f2e6f34a449c2d3ea74539 \