From 9c2f562e019fe807660d42782e4a36c58c93855f Mon Sep 17 00:00:00 2001
From: Thomas Hobson <git@hexf.me>
Date: Mon, 15 Mar 2021 19:16:38 +1300
Subject: [PATCH] repo: build with correct platform

---
 repo/entrypoint.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repo/entrypoint.sh b/repo/entrypoint.sh
index a0f7e1a..6c47e37 100755
--- a/repo/entrypoint.sh
+++ b/repo/entrypoint.sh
@@ -23,7 +23,7 @@ do
     else
         if [[ $BUILD -eq 1 ]]; then
             echo "Building package $pkg"
-            make -j16 $pkg.pkg.tar.gz
+            make -j16 $pkg.pkg.tar.gz PLATFORM=docker-debian
             echo "Done with package $pkg"
         elif [[ $CI -eq 1 ]]; then
             echo "Commit SHA: $pkg"
@@ -36,7 +36,7 @@ do
 
             echo "Building packages: $PACKAGES"
             for package in "$PACKAGES"; do
-                make -j16 $package.pkg.tar.gz
+                make -j16 $package.pkg.tar.gz PLATFORM=docker-debian
             done
 
         else