From 4a3f5abfa5cdbff1bbe5dd87b9101a66aea438ba Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sun, 19 Jan 2025 23:46:11 +0000
Subject: [PATCH] [docker] exit early if build fails

If the build fails, don't then attempt to run the container-which-wasn't-built
---
 .devcontainer/build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.devcontainer/build.sh b/.devcontainer/build.sh
index f7b640c0..10f8b69a 100755
--- a/.devcontainer/build.sh
+++ b/.devcontainer/build.sh
@@ -1,3 +1,4 @@
 #!/bin/sh
+set -eu
 cd $(dirname $0)/../
 docker run --rm -v ${PWD}:/app $(docker build -q -f .devcontainer/Dockerfile .)