diff options
Diffstat (limited to 'third_party/python/taskcluster_taskgraph/taskgraph/util/shell.py')
| -rw-r--r-- | third_party/python/taskcluster_taskgraph/taskgraph/util/shell.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/python/taskcluster_taskgraph/taskgraph/util/shell.py b/third_party/python/taskcluster_taskgraph/taskgraph/util/shell.py index d695767f05..16b71b7d6a 100644 --- a/third_party/python/taskcluster_taskgraph/taskgraph/util/shell.py +++ b/third_party/python/taskcluster_taskgraph/taskgraph/util/shell.py @@ -14,7 +14,7 @@ def _quote(s): As a special case, if given an int, returns a string containing the int, not enclosed in quotes. """ - if type(s) == int: + if isinstance(s, int): return "%d" % s # Empty strings need to be quoted to have any significance |