From 8743467ccd884d89d048e99bcdab54b329d44cab Mon Sep 17 00:00:00 2001 From: Eryk Szpotanski Date: Tue, 3 Sep 2024 16:22:38 +0200 Subject: [PATCH] etc: DockerHelper: Add option to turn off the constant build directory Signed-off-by: Eryk Szpotanski --- etc/DockerHelper.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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