diff options
| author | Jeremy MAURO <jeremy.mauro@gmail.com> | 2019-10-02 16:33:39 +0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2019-10-03 19:48:41 +0300 |
| commit | ff8fdb36ac35ee90388fb3f5fdac679b25765841 (patch) | |
| tree | 08943b91e1375e40e399992135e78dc6acb7b51e /drivers | |
| parent | bdd68860a044683ea3a96a4f3a681da155fe7197 (diff) | |
| download | linux-ff8fdb36ac35ee90388fb3f5fdac679b25765841.tar.xz | |
scripts/sphinx-pre-install: allow checking for multiple missing files
The current implementation take a simple file as first argument, this
change allows to take a list as a first argument.
Some file could have a different path according distribution version
Signed-off-by: Jeremy MAURO <j.mauro@criteo.com>
Reviewed-by: Mauro Carvalho Chehab <mchehab+samsung@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions