diff options
| author | Taras Madan <tarasmadan@google.com> | 2022-10-13 06:58:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-13 04:58:58 +0000 |
| commit | c62d75df0cb968733423fd6ed6d53a466d5d9b45 (patch) | |
| tree | 98a0c1b62a0d43924fce572e5f2141e587475999 /tools/syz-env | |
| parent | 3f6b40a114c25e1597234e0fa1088f6bc2711015 (diff) | |
tools/syz-env: fix volume labels in SELinux environment (#3437)
https://docs.docker.com/storage/bind-mounts/#configure-the-selinux-label
Diffstat (limited to 'tools/syz-env')
| -rwxr-xr-x | tools/syz-env | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/syz-env b/tools/syz-env index 2d3d2192e..f05e4b173 100755 --- a/tools/syz-env +++ b/tools/syz-env @@ -31,7 +31,7 @@ for ARG in "$@"; do # If we have a kernel path passed in, we mount it in the container # at /syzkaller/kernel and fix up SOURCEDIR argument. if [ "$KEY" == "SOURCEDIR" ]; then - DOCKERARGS+=" --volume $VAL:/syzkaller/kernel" + DOCKERARGS+=" --volume $VAL:/syzkaller/kernel:z" COMMAND+=" SOURCEDIR=/syzkaller/kernel" else COMMAND+=" $ARG" @@ -61,8 +61,8 @@ docker pull -q gcr.io/syzkaller/${IMAGE} docker run \ --rm \ --user $(id -u ${USER}):$(id -g ${USER}) \ - --volume "$SCRIPT_DIR/..:/syzkaller/gopath/src/github.com/google/syzkaller" \ - --volume "$HOME/.cache:/syzkaller/.cache" \ + --volume "$SCRIPT_DIR/..:/syzkaller/gopath/src/github.com/google/syzkaller:z" \ + --volume "$HOME/.cache:/syzkaller/.cache:z" \ --volume "/var/run/docker.sock":"/var/run/docker.sock" \ --workdir /syzkaller/gopath/src/github.com/google/syzkaller \ --env HOME=/syzkaller \ |