diff --git a/tools/tools_schema.json b/tools/tools_schema.json index e4c756f711..5c3efad012 100644 --- a/tools/tools_schema.json +++ b/tools/tools_schema.json @@ -218,7 +218,7 @@ "type": "array", "items": { "type": "string", - "enum": ["linux-i686", "linux-amd64", "linux-armel", "linux-arm64", "macos", "macos-arm64", "win32", "win64"] + "enum": ["linux-i686", "linux-amd64", "linux-armel", "linux-armhf", "linux-arm64", "macos", "macos-arm64", "win32", "win64"] } }, "export_paths": {