diff options
| author | Space Meyer <spm@google.com> | 2022-10-11 11:23:25 +0000 |
|---|---|---|
| committer | Space Meyer <git@the-space.agency> | 2022-10-11 15:43:14 +0200 |
| commit | 1353c374a28b0c3b20e5acf59753aceb934c7fd0 (patch) | |
| tree | 5aab5cd5efe8072783358c5a6e0296144d26940c /tools/syz-env | |
| parent | 2b253ced7f2f29cbe3de4782c1da91ff9d8a8a8c (diff) | |
make: print warning when make is executed without syz-env
Diffstat (limited to 'tools/syz-env')
| -rwxr-xr-x | tools/syz-env | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/syz-env b/tools/syz-env index 02010508d..7760ccc22 100755 --- a/tools/syz-env +++ b/tools/syz-env @@ -64,6 +64,7 @@ docker run \ --workdir /syzkaller/gopath/src/github.com/google/syzkaller \ --env HOME=/syzkaller \ --env GOPATH=/syzkaller/gopath:/gopath \ + --env SILENCE_SYZ_ENV_HINT=1 \ --env FUZZIT_API_KEY \ --env GITHUB_REF \ --env GITHUB_SHA \ |