From ce5491e7126804b4173534005dd5d499b2e6e45f Mon Sep 17 00:00:00 2001
From: Aelin <aelin@postmarketos.org>
Date: Sat, 11 Jul 2026 12:00:11 +0200
Subject: [PATCH] deviceinfo_schema.toml: Add missing datatype to
 deviceinfo_header_version

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>
---
 deviceinfo_schema.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/deviceinfo_schema.toml b/deviceinfo_schema.toml
index 0f90e40e0..12db306e1 100644
--- a/deviceinfo_schema.toml
+++ b/deviceinfo_schema.toml
@@ -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]