diff options
| author | Edznux <edznux@gmail.com> | 2020-10-04 16:03:15 +0200 |
|---|---|---|
| committer | Edznux <edznux@gmail.com> | 2020-10-04 16:03:15 +0200 |
| commit | 1e0bc2e5c3fff506bc8bdba9ba96530975c730f1 (patch) | |
| tree | 6cfe62b78d6d91482a1f4c240246e14458735856 /qemu_mode/patches/__init__.py.diff | |
| parent | b0de6fed11d4a8de8f016f1d8db0cb19a6b96eb2 (diff) | |
| parent | 44c0dc6d961853806a07fa05b948686392ea93fc (diff) | |
| download | afl++-1e0bc2e5c3fff506bc8bdba9ba96530975c730f1.tar.gz | |
Merge remote-tracking branch 'origin/dev' into statsd_implem
Diffstat (limited to 'qemu_mode/patches/__init__.py.diff')
| -rw-r--r-- | qemu_mode/patches/__init__.py.diff | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/qemu_mode/patches/__init__.py.diff b/qemu_mode/patches/__init__.py.diff deleted file mode 100644 index 7e189b99..00000000 --- a/qemu_mode/patches/__init__.py.diff +++ /dev/null @@ -1,17 +0,0 @@ ---- a/scripts/tracetool/__init__.py 2020-03-28 13:42:21.937700726 +0100 -+++ b/scripts/tracetool/__init__.py 2020-03-28 13:41:50.991034257 +0100 -@@ -447,12 +447,12 @@ - import tracetool - - format = str(format) -- if len(format) is 0: -+ if len(format) == 0: - raise TracetoolError("format not set") - if not tracetool.format.exists(format): - raise TracetoolError("unknown format: %s" % format) - -- if len(backends) is 0: -+ if len(backends) == 0: - raise TracetoolError("no backends specified") - for backend in backends: - if not tracetool.backend.exists(backend): |