From 9514e558ad22c98940eaf5faf5e5896c56a1a7a9 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Fri, 5 May 2023 14:42:49 +0200
Subject: [PATCH] fix build.sh for real

---
 server/build.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/server/build.sh b/server/build.sh
index 6dc806c..7825db7 100755
--- a/server/build.sh
+++ b/server/build.sh
@@ -7,8 +7,6 @@ cd $(dirname $0)
 ( rm -rf adam
   git clone https://github.com/hhu-adam/Robo adam/
   cd adam
-  lake exe cache get
-  lake build
   docker rmi adam:latest || true
   docker build \
     --rm -f Dockerfile -t adam:latest .
@@ -18,8 +16,6 @@ cd $(dirname $0)
 ( rm -rf nng
   git clone https://github.com/hhu-adam/NNG4 nng/
   cd nng
-  lake exe cache get
-  lake build
   docker rmi nng:latest || true
   docker build \
     --rm -f Dockerfile -t nng:latest .