Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-06 07:53:43 +08:00
Code Issues Actions 29 Packages Projects Releases Wiki Activity

fix raw makefile parsing

Browse Source
This commit is contained in:
Gautier Hattenberger
2010-11-30 09:48:37 +01:00
parent 992e60b979
commit 874506cf76
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/tools/gen_aircraft.ml
+2 -2
View File
@@ -214,12 +214,12 @@ let dump_makefile_section = fun xml makefile_ac airframe_infile location ->
let loc = ExtXml.attrib_or_default x "location" "before" in
match (location, loc) with
("before", "before") | ("after", "after") ->
fprintf makefile_ac "\n# makefile target '%s'\n" (Xml.attrib x "target");
fprintf makefile_ac "\n# raw makefile\n";
begin match Xml.children x with
[Xml.PCData s] -> fprintf makefile_ac "%s\n" s
| _ -> failwith (sprintf "Warning: wrong makefile section in '%s': %s\n" airframe_infile (Xml.to_string_fmt x))
end
| (_, _) -> failwith (sprintf "Warning: wrong location in makefile section in '%s'" airframe_infile)
| (_, _) -> ()
end)
(Xml.children xml)