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 \