mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-28 09:58:23 +08:00
fix path to gen_flight_plan.out after moving it to generators
This commit is contained in:
+1
-1
@@ -51,7 +51,7 @@ let gconf_file = paparazzi_home // "conf" // "%gconf.xml"
|
||||
|
||||
let gcs_icons_path = paparazzi_home // "data" // "pictures" // "gcs_icons"
|
||||
|
||||
let dump_fp = paparazzi_src // "sw" // "tools" // "gen_flight_plan.out -dump"
|
||||
let dump_fp = paparazzi_src // "sw" // "tools" // "generators" // "gen_flight_plan.out -dump"
|
||||
|
||||
let expand_ac_xml = fun ?(raise_exception = true) ac_conf ->
|
||||
let prefix = fun s -> sprintf "%s/conf/%s" paparazzi_home s in
|
||||
|
||||
@@ -29,7 +29,7 @@ module Tm_Pprz = Pprz.Messages(struct let name = "telemetry" end)
|
||||
|
||||
let (//) = Filename.concat
|
||||
let replay_dir = Env.paparazzi_home // "var" // "replay"
|
||||
let dump_fp = Env.paparazzi_src // "sw" // "tools" // "gen_flight_plan.out -dump"
|
||||
let dump_fp = Env.paparazzi_src // "sw" // "tools" // "generators" // "gen_flight_plan.out -dump"
|
||||
|
||||
let log = ref [||]
|
||||
|
||||
|
||||
Reference in New Issue
Block a user