From 1496ae1397e0079ebaf2fc09799136c7ae608195 Mon Sep 17 00:00:00 2001 From: Rebecca Wallander Date: Sun, 21 Dec 2025 22:39:42 +0100 Subject: [PATCH] Always use Docker --- build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build.sh b/build.sh index a89065d..67f4d7a 100755 --- a/build.sh +++ b/build.sh @@ -17,6 +17,7 @@ # License along with this library; if not, see . OS_NAME=$(uname) +export OCI_EXE=docker mkdir -p docker