blob: 7e189b9946ec53cf23089d145ebf209ccc0fea7b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
--- 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):
|
