diff --git a/etc/DockerHelper.sh b/etc/DockerHelper.sh index 0c653926da..3eff831853 100755 --- a/etc/DockerHelper.sh +++ b/etc/DockerHelper.sh @@ -9,6 +9,7 @@ baseDir="$(pwd)" org=openroad DOCKER_CMD="docker" +noConstantBuildDir="" _help() { cat <&2 @@ -202,6 +204,9 @@ while [ "$#" -gt 0 ]; do -tag=* ) tag="${1#*=}" ;; + -no-constant-build-dir ) + noConstantBuildDir="--build-arg constantBuildDir= " + ;; -os | -target | -threads | -username | -password | -tag ) echo "${1} requires an argument" >&2 _help