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

-ref and -m options no longer exclusive

Browse Source
This commit is contained in:
Pascal Brisset
2006-03-13 12:55:17 +00:00
parent 18fd1feb5a
commit e01482a5de
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/map2d.ml
+2 -2
View File
@@ -724,8 +724,8 @@ let _ =
(* Loading an initial map *)
if !geo_ref <> "" then
set_georef_if_none geomap (Latlong.of_string !geo_ref)
else if !map_file <> "" then begin
set_georef_if_none geomap (Latlong.of_string !geo_ref);
if !map_file <> "" then begin
let xml_map_file = if !map_file.[0] <> '/' then Filename.concat default_path_maps !map_file else !map_file in
display_map geomap xml_map_file
end;