diff options
| author | Stefan Wiehler <me@sephalon.net> | 2021-11-18 15:18:52 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-11-29 14:36:06 +0000 |
| commit | ae18d35577c2e7e556be98bb4dc854317440a55a (patch) | |
| tree | b27030f5181e6228f08912fae321993d1a4f023b /tools/syz-env | |
| parent | 8f3b15c4213fbdd6918d7ddd9ffa9fd4a623dc49 (diff) | |
tools/syz-env: add local build option
Useful for testing local Dockerfile changes that have not been pushed yet.
Diffstat (limited to 'tools/syz-env')
| -rwxr-xr-x | tools/syz-env | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/tools/syz-env b/tools/syz-env index 30a1f8448..479f858ec 100755 --- a/tools/syz-env +++ b/tools/syz-env @@ -62,8 +62,15 @@ if [ ! "$(docker info -f "{{println .SecurityOptions}}" | grep rootless)" ]; the DOCKERARGS+=" --user $(id -u ${USER}):$(id -g ${USER})" fi -# Update docker image -docker pull -q gcr.io/syzkaller/${IMAGE} + +# Build or update docker image +if [ ! -z "$SYZ_ENV_BUILD" ]; then + IMAGE_NAME="syz-$IMAGE" + docker build "$SCRIPT_DIR/docker/$IMAGE" --tag "$IMAGE_NAME" ${BUILDARGS[@]} +else + IMAGE_NAME="gcr.io/syzkaller/$IMAGE" + docker pull -q "$IMAGE_NAME" +fi # Run everything as the host user, this is important for created/modified files. docker run \ @@ -82,4 +89,4 @@ docker run \ --env GITHUB_PR_COMMITS \ --env CI \ ${DOCKERARGS[@]} \ - gcr.io/syzkaller/${IMAGE} -c "$COMMAND" + "$IMAGE_NAME" -c "$COMMAND" |