From 105dd39f12e7aa928217a4dac0cc89b1e4422196 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Fri, 5 May 2023 14:07:32 +0200
Subject: [PATCH] update build script

---
 server/build.sh | 23 ++++++-----------------
 1 file changed, 6 insertions(+), 17 deletions(-)

diff --git a/server/build.sh b/server/build.sh
index 308f555..376f3c4 100755
--- a/server/build.sh
+++ b/server/build.sh
@@ -9,14 +9,9 @@ cd $(dirname $0)
 docker build --pull --rm -f elan.Dockerfile -t elan:latest .
 
 # Build Adam
-( if [ ! -d adam ]
-  then
-    git clone https://github.com/hhu-adam/Robo adam/
-    cd adam
-  else
-    cd adam
-    git pull
-  fi
+( 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
@@ -25,17 +20,11 @@ docker build \
   --rm -f server.Dockerfile -t adam:latest .
 
 # Build NNG
-( if [ ! -d nng ]
-  then
-    git clone https://github.com/hhu-adam/NNG4 nng/
-    cd nng
-  else
-    cd nng
-    git pull
-  fi
+( 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 \
   --build-arg GAME_DIR=nng \