Piecuu/pmaports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

deviceinfo_schema.toml: Add missing datatype to deviceinfo_header_version

Browse source 
Setting an integer_interval without datatype = "integer" is
inconsistent. This is supposed to be an integer, but was overlooked
during initial creation of the schema.

Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/8998>
This commit is contained in:
Aelin 2026-07-11 12:00:11 +02:00 • committed by The Friendly Meow (merge) Bot
parent 7c34fe98a2
commit ce5491e712
No known key found for this signature in database
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
deviceinfo_schema.toml
View file

@ -266,6 +266,7 @@ description = "Additional custom arguments to pass to mkbootimg. Caution: adding
[variable.flash.header_version]
description = "Header version of boot image as defined by Android documentation."
datatype = "integer"
integer_interval = "[0, 4]"
[variable.flash.generate_bootimg]