mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-09 22:49:53 +08:00
[fix] node name for modules' datalink event
This commit is contained in:
+1
-1
@@ -158,7 +158,7 @@ let xml_of_event = fun l ->
|
||||
List.map (fun n -> Xml.Element ("event", [("fun", n)], [])) l;;
|
||||
|
||||
let xml_of_datalink = fun l ->
|
||||
List.map (fun (m, n) -> Xml.Element ("init", [("message", m); ("fun", n)], [])) l;;
|
||||
List.map (fun (m, n) -> Xml.Element ("datalink", [("message", m); ("fun", n)], [])) l;;
|
||||
|
||||
let xml_makefile_of_name = fun n ->
|
||||
[Xml.Element ("makefile", [], [
|
||||
|
||||
Reference in New Issue
Block a user