coverity.sh: use a comma to separate module names
authorEvegeny Vereshchagin <evvers@ya.ru>
Mon, 25 Jun 2018 22:02:41 +0000 (22:02 +0000)
committerEvegeny Vereshchagin <evvers@ya.ru>
Mon, 25 Jun 2018 22:02:41 +0000 (22:02 +0000)
commit1e79d09ef9f7befe5d1e17999b85d89073857e63
tree1cc9f777e9239853db56036fa1191e5aebb1afb2
parent096eec29cd93adbf1bb70a91d1f9f0d713625125
coverity.sh: use a comma to separate module names

Otherwise Python bails out with
```
Traceback (most recent call last):
  File "<string>", line 1, in <module>
NameError: name 'json' is not defined
```

See https://travis-ci.org/systemd/systemd/jobs/397490437
tools/coverity.sh