diff --git a/docker_test.sh b/docker_test.sh index f4ca21b0b1d149578c4295eca2302f7b15f5fdc6..2e7fa0d13523e70b9e2ddba9958f7f361d4df37d 100755 --- a/docker_test.sh +++ b/docker_test.sh @@ -59,11 +59,6 @@ read ans if [ $ans == "y" ]; then git pull - if [[ ! -d "$1" ]]; then - echo "ERROR : directory does not exist ($1)" - usage - exit 1 - fi cd "$1" git checkout -- . else