diff options
| author | Elan Ruusamäe | 2018-12-31 09:22:16 (GMT) |
|---|---|---|
| committer | Elan Ruusamäe | 2018-12-31 09:22:16 (GMT) |
| commit | 8447721f088e61dc473663e15af18340155776d1 (patch) | |
| tree | ecf15965a507854d00e8f3f7a9155561e2890d1e | |
| parent | 5d14e3f96484292cde1b91b75eabe8eb5fa71d9f (diff) | |
| download | cleanbuild-8447721f088e61dc473663e15af18340155776d1.zip cleanbuild-8447721f088e61dc473663e15af18340155776d1.tar.gz | |
add no tmpfs commandline option
| -rwxr-xr-x | cleanbuild-docker.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/cleanbuild-docker.sh b/cleanbuild-docker.sh index cd3450b..8f4f7c3 100755 --- a/cleanbuild-docker.sh +++ b/cleanbuild-docker.sh @@ -7,6 +7,7 @@ PROGRAM=${0##*/} : ${PACKAGE_NAME=''} : ${NETWORKING=false} : ${TRACING=false} +: ${TMPFS=true} dir=$(pwd) image=registry.gitlab.com/pld-linux/cleanbuild @@ -33,7 +34,7 @@ create_container() { -v $dir:$home/cleanbuild \ -v $dir/cache/poldek:/var/cache/poldek \ -v $dir/cache/ccache/$PACKAGE_NAME:$home/.ccache \ - --tmpfs $home/rpm/BUILD:rw,exec,nosuid,size=$buildsize \ + $($TMPFS && echo "--tmpfs $home/rpm/BUILD:rw,exec,nosuid,size=$buildsize") \ $image # set the homedir @@ -107,7 +108,7 @@ package_build() { parse_options() { local t - t=$(getopt -o 'x' --long 'network' -n "$PROGRAM" -- "$@") + t=$(getopt -o 'x' --long 'network,no-tmpfs,notmpfs' -n "$PROGRAM" -- "$@") [ $? != 0 ] && exit $? eval set -- "$t" @@ -119,6 +120,9 @@ parse_options() { --network) NETWORKING=true ;; + --no-tmpfs|--notmpfs) + TMPFS=false + ;; --) shift break |