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

exit with error code 1 on failure

Browse Source
This commit is contained in:
Pascal Brisset
2007-10-09 07:17:22 +00:00
parent 90b06ac1e1
commit afcaea8809
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/tools/gen_settings.ml
+1 -1
View File
@@ -217,6 +217,6 @@ let _ =
print_dl_settings dl_settings;
finish h_name
with
Xml.Error e -> prerr_endline (Xml.error e)
Xml.Error e -> prerr_endline (Xml.error e); exit 1
| Dtd.Prove_error e -> prerr_endline (Dtd.prove_error e); exit 1
| Dtd.Parse_error e -> prerr_endline (Dtd.parse_error e); exit 1