diff options
| author | Jeremy MAURO <[email protected]> | 2019-10-02 15:33:39 +0200 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2019-10-03 10:48:41 -0600 |
| commit | ff8fdb36ac35ee90388fb3f5fdac679b25765841 (patch) | |
| tree | 08943b91e1375e40e399992135e78dc6acb7b51e /include | |
| parent | bdd68860a044683ea3a96a4f3a681da155fe7197 (diff) | |
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 <[email protected]>
Reviewed-by: Mauro Carvalho Chehab <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions