diff --git a/CHANGELOG.md b/CHANGELOG.md old mode 100755 new mode 100644 diff --git a/Dockerfile b/Dockerfile old mode 100755 new mode 100644 diff --git a/run.sh b/run.sh index 4d0f4f2..1b6505c 100755 --- a/run.sh +++ b/run.sh @@ -27,23 +27,6 @@ while [[ $# > 0 ]]; do shift done - -while [[ $# > 0 ]] -do -key="$1" - -case $key in - -r|--rebuild) - FORCE_BUILD=1 - ;; - *) - shift # past argument or value - ;; -esac -shift - -done - # Create shared folders mkdir -p $SOURCE mkdir -p $CCACHE @@ -70,7 +53,7 @@ elif [[ $FORCE_BUILD = 1 ]] || ! echo "$IMAGE_EXISTS" | grep -q "$TAG"; then fi if [[ $OK -ne 0 ]]; then - exit 1; + exit 1 fi # With the given name $CONTAINER, reconnect to running container, start