diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | dashboard/config/linux/README.md | 6 |
2 files changed, 5 insertions, 3 deletions
@@ -276,7 +276,7 @@ bin/syz-fmt: $(HOSTGO) build $(GOHOSTFLAGS) -o $@ ./tools/syz-fmt configs: kconf - bin/syz-kconf -config dashboard/config/linux/main.yml -sourcedir $(SOURCEDIR) + bin/syz-kconf -config dashboard/config/linux/main.yml -sourcedir $(SOURCEDIR) -instance=$(INSTANCE) tidy: descriptions clang-tidy -quiet -header-filter=executor/[^_].* -warnings-as-errors=* \ diff --git a/dashboard/config/linux/README.md b/dashboard/config/linux/README.md index 5103bf221..e7a040f8f 100644 --- a/dashboard/config/linux/README.md +++ b/dashboard/config/linux/README.md @@ -113,7 +113,9 @@ To update kernel configs: - update kernel version in [linux-next.yml](bits/linux-next.yml) and [linux-upstream.yml](bits/linux-upstream.yml) - change config fragments as necessary (e.g. add additional configs to [subsystems.yml](bits/subsystems.yml)) - run `./tools/syz-env make configs SOURCEDIR=/path/to/existing/linux/checkout` - (note: it will be mrproper-ed and a number of remotes will be added) - (see [this](/docs/contributing.md#using-syz-env) on how to setup/use `syz-env`) + * note: it will be mrproper-ed and a number of remotes will be added + * see [this](/docs/contributing.md#using-syz-env) on how to setup/use `syz-env` + - resolve problems. You can iterate faster focusing on the specific instance problem. + * `./tools/syz-env make configs SOURCEDIR=/path/to/existing/linux/checkout INSTANCE=PROBLEM_INSTANCE_NAME` - check in config fragments and changed kernel configs and send a PR - changes will be deployed to `syzbot` within a day after merging |