Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-25 23:46:04 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

[gen_settings] fix bug when target is not specified (use default list)

Browse Source
This commit is contained in:
Gautier Hattenberger
2014-10-15 18:11:26 +02:00
parent 878abc83eb
commit c588f047e6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/tools/generators/gen_settings.ml
+1 -1
View File
@@ -290,7 +290,7 @@ let join_xml_files = fun xml_files ->
then begin
(* test if the module is loaded or not *)
if List.exists (fun n ->
let t = ExtXml.attrib_or_default n "target" "" in
let t = ExtXml.attrib_or_default n "target" Gen_common.default_module_targets in
Str.string_match (Str.regexp (".*"^target^".*")) t 0
) (Xml.children xml)
then List.filter (fun t -> Xml.tag t = "settings") (Xml.children xml)