diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-23 10:02:53 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-09-23 10:02:53 +0200 |
| commit | 8f8cf20bd23a37aaf4ac3a7ec3fab2370ef2a755 (patch) | |
| tree | 4e2931acc236c1c5b83352dd579a62b2c4bf97c8 /docs/setup_linux-host_android-device_arm64-kernel.md | |
| parent | 997ce2252ab1a4dc2d5d673b50b6c035e2dca17b (diff) | |
syz-manager: make vmlinux optional
It's currently both optional and non optional.
We require it to be non-empty, but at the same time allow fake "-"
which effectively means "no vmlinux". Make it optional.
Diffstat (limited to 'docs/setup_linux-host_android-device_arm64-kernel.md')
| -rw-r--r-- | docs/setup_linux-host_android-device_arm64-kernel.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/setup_linux-host_android-device_arm64-kernel.md b/docs/setup_linux-host_android-device_arm64-kernel.md index e7d6fa744..51e1deb3d 100644 --- a/docs/setup_linux-host_android-device_arm64-kernel.md +++ b/docs/setup_linux-host_android-device_arm64-kernel.md @@ -19,7 +19,6 @@ $ NDK=/path/to/android/ndk make TARGETOS=android TARGETARCH=arm64 "http": "localhost:50000", "workdir": "/gopath/src/github.com/google/syzkaller/workdir", "syzkaller": "/gopath/src/github.com/google/syzkaller", - "vmlinux": "-", "sandbox": "none", "procs": 8, "type": "adb", |