mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-31 12:23:23 +08:00
Merge pull request #2366 from paparazzi/define_unit_warning
[generator] warning when unit attribute is used in firmware section
This commit is contained in:
@@ -104,6 +104,10 @@ let flag_xml2mk = fun f ?(target="$(TARGET)") xml ->
|
|||||||
let define_xml2mk = fun f ?(target="$(TARGET)") xml ->
|
let define_xml2mk = fun f ?(target="$(TARGET)") xml ->
|
||||||
let name = Xml.attrib xml "name"
|
let name = Xml.attrib xml "name"
|
||||||
and value = try Some (Xml.attrib xml "value") with _ -> None in
|
and value = try Some (Xml.attrib xml "value") with _ -> None in
|
||||||
|
let _ = try
|
||||||
|
ignore(Xml.attrib xml "unit");
|
||||||
|
prerr_endline ("Warning: 'unit' attribute for '"^name^"' in firmware section is not handled") with _ -> ()
|
||||||
|
in
|
||||||
let flag_type = fun s ->
|
let flag_type = fun s ->
|
||||||
match ExtXml.attrib_or_default xml "type" "raw", value with
|
match ExtXml.attrib_or_default xml "type" "raw", value with
|
||||||
| "string", Some v -> "=\\\""^v^"\\\""
|
| "string", Some v -> "=\\\""^v^"\\\""
|
||||||
|
|||||||
Reference in New Issue
Block a user