diff --git a/docker/scripts/entrypoint.sh b/docker/scripts/entrypoint.sh index dfe92e8..6d23b5b 100755 --- a/docker/scripts/entrypoint.sh +++ b/docker/scripts/entrypoint.sh @@ -34,8 +34,9 @@ changeDir() { fi } -# Clone the git repo -git clone "$REPO" /home/user/pkg && \ +if [ ! -d "/home/user/pkg" ]; then + git clone "$REPO" /home/user/pkg || exit $? +fi cd /home/user/pkg && \ checkoutCommit && \ applyPatch && \