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

[modules] display warnings when module or its options are loaded twice

Browse Source
This commit is contained in:
Gautier Hattenberger
2016-02-25 23:23:00 +01:00
parent bf36c7ba03
commit 993818bdd6
4 changed files with 30 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
conf/flight_plans/flight_plan.dtd
+11 -1
View File
@@ -18,7 +18,9 @@
<!ELEMENT variable EMPTY>
<!ELEMENT modules (module*)>
<!ELEMENT module EMPTY>
<!ELEMENT module (configure|define)*>
<!ELEMENT configure EMPTY>
<!ELEMENT define EMPTY>
<!ELEMENT includes (include*)>
@@ -113,6 +115,14 @@ values CDATA #IMPLIED>
name CDATA #REQUIRED
type CDATA #IMPLIED>
<!ATTLIST define
name CDATA #REQUIRED
value CDATA #IMPLIED>
<!ATTLIST configure
name CDATA #REQUIRED
value CDATA #REQUIRED>
<!ATTLIST blocks>
<!ATTLIST block