Skip to content

Commit 0243a22

Browse files
committed
etc: DockerHelper: Add option to turn off the constant build directory
Signed-off-by: Eryk Szpotanski <[email protected]>
1 parent c2beab1 commit 0243a22

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

etc/DockerHelper.sh

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ baseDir="$(pwd)"
99
org=openroad
1010

1111
DOCKER_CMD="docker"
12+
noConstantBuildDir=""
1213

1314
_help() {
1415
cat <<EOF
@@ -32,6 +33,7 @@ usage: $0 [CMD] [OPTIONS]
3233
-password=PASSWORD Password to loging at the docker registry.
3334
-ci Install CI tools in image
3435
-dry-run Do not push images to the repository
36+
-no-constant-build-dir Do not use constant build directory
3537
-h -help Show this message and exits
3638
3739
EOF
@@ -67,7 +69,7 @@ _setup() {
6769
fromImage="${FROM_IMAGE_OVERRIDE:-$osBaseImage}"
6870
cp tools/OpenROAD/etc/DependencyInstaller.sh etc/InstallerOpenROAD.sh
6971
context="etc"
70-
buildArgs="--build-arg options=${options}"
72+
buildArgs="--build-arg options=${options} ${noConstantBuildDir}"
7173
;;
7274
*)
7375
echo "Target ${target} not found" >&2
@@ -202,6 +204,9 @@ while [ "$#" -gt 0 ]; do
202204
-tag=* )
203205
tag="${1#*=}"
204206
;;
207+
-no-constant-build-dir )
208+
noConstantBuildDir="--build-arg constantBuildDir= "
209+
;;
205210
-os | -target | -threads | -username | -password | -tag )
206211
echo "${1} requires an argument" >&2
207212
_help

0 commit comments

Comments
 (0)