From 66b1b6e4393547c46d92c560ad9f1b3494ea9112 Mon Sep 17 00:00:00 2001
From: Glenn Jackman <glenn.jackman@gmail.com>
Date: Thu, 5 Mar 2026 10:03:09 -0500
Subject: [PATCH] specify the shell for RUN commands

---
 Dockerfile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index e645a48..359cf0f 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,8 +6,7 @@ ARG URL="https://github.com/odin-lang/Odin/releases/download/${ODIN_REF}/${TARBA
 FROM ubuntu:24.04
 
 ENV DEBIAN_FRONTEND=noninteractive
-RUN << END_APT
-    set -e
+RUN bash -e << END_APT
     apt-get update -y
     apt-get install -y --no-install-recommends ca-certificates clang jq gawk locales curl
     update-ca-certificates
@@ -17,8 +16,7 @@ END_APT
 
 WORKDIR /src
 ARG URL
-RUN << END_ODIN
-    set -e
+RUN bash -e << END_ODIN
     curl --silent --location "${URL}" | tar zxf -
     mv odin* Odin
     ls -l Odin