CI: mark deviceinfo_usb_rndis_function as obsolete (MR 3669)

[ci:skip-build]: already built successfully in CI
This commit is contained in:
Oliver Smith 2022-11-27 17:25:52 +01:00
parent 9271ab80b6
commit 1af1eafd23
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB

View file

@ -17,12 +17,15 @@ def deviceinfo_obsolete(info):
Test for obsolete options used in the deviceinfo file. They must still be
defined in pmbootstrap's config/__init__.py.
"""
obsolete_options = ["weston_pixman_type"]
obsolete_options = [
"usb_rndis_function",
"weston_pixman_type",
]
for option in obsolete_options:
if info[option]:
raise RuntimeError("option '" + option + "' is obsolete, please"
" remove it (reasons for removal are at"
" <https://postmarketos.org/deviceinfo>)")
if option in info and info[option]:
raise RuntimeError(f"option {option} is obsolete, please rename"
" or remove it (see reasons for removal of at"
" https://postmarketos.org/deviceinfo)")
def test_deviceinfo(args):