Always use Docker

2026-09-22 06:36:36 +00:00 · 2025-12-21 22:39:42 +01:00
parent 5d01a00327
commit 1496ae1397
1 changed files with 1 additions and 0 deletions
--- a/build.sh
+++ b/build.sh
@@ -17,6 +17,7 @@
 # License along with this library; if not, see <http://www.gnu.org/licenses/>.

 OS_NAME=$(uname)
+export OCI_EXE=docker

 mkdir -p docker