Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-31 20:38:27 +08:00
Code Issues Actions 28 Packages Projects Releases Wiki Activity

[generator] fix xml extration error

Browse Source
This commit is contained in:
Gautier Hattenberger
2016-12-20 00:03:19 +01:00
parent 5613d79dc4
commit bf174d8181
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/tools/generators/gen_settings.ml
+4 -2
View File
@@ -354,8 +354,10 @@ let join_xml_files = fun xml_sys_files xml_user_files ->
let dl_sys = List.map (fun xml_file ->
let xml = ExtXml.parse_file xml_file in
(* take "second stage" dl_settings nodes *)
let dl = ExtXml.child xml "dl_settings" in
Xml.children dl
try
let dl = ExtXml.child xml "dl_settings" in
Xml.children dl
with Not_found -> []
) xml_sys_files in
dl_settings := Xml.Element("dl_settings", [("name", "System")], List.rev (List.flatten dl_sys)) :: !dl_settings;