diff options
| author | Mauro Carvalho Chehab <mchehab+samsung@kernel.org> | 2019-05-29 20:09:25 -0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2019-05-30 10:40:23 -0600 |
| commit | c4c562defedb7634a717293a5192071983e79781 (patch) | |
| tree | 47f995d83fef94ea96cb4f21a60fab70fb68bc15 /scripts/Makefile.modbuiltin | |
| parent | 44f42165177e6c32f3a6aaceeaf7d9cd1c95595f (diff) | |
| download | linux-rt-c4c562defedb7634a717293a5192071983e79781.tar.gz | |
scripts/sphinx-pre-install: get rid of RHEL7 explicity check
RHEL8 was already launched. This test won't get it, and will
do the wrong thing. Ok, we could fix it, but now we check
Sphinx version to ensure that it matches the minimal (1.3),
so there's no need for an explicit check there.
Signed-off-by: Mauro Carvalho Chehab <mchehab+samsung@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/Makefile.modbuiltin')
0 files changed, 0 insertions, 0 deletions