[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 83e57b: [autopilot] fix detect
|
From: |
Gautier Hattenberger |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 83e57b: [autopilot] fix detection of generated mode and ge... |
|
Date: |
Wed, 12 Oct 2022 00:51:43 -0700 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/paparazzi
Commit: 83e57b3733a77e92d620a0cd159c94b9eacca1b4
https://github.com/paparazzi/paparazzi/commit/83e57b3733a77e92d620a0cd159c94b9eacca1b4
Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
Date: 2022-10-12 (Wed, 12 Oct 2022)
Changed paths:
M sw/ground_segment/tmtc/aircraft_server.ml
M sw/ground_segment/tmtc/server.ml
M sw/ground_segment/tmtc/server_globals.ml
M sw/tools/generators/gen_aircraft.ml
Log Message:
-----------
[autopilot] fix detection of generated mode and generation dep (#2927)
- server extract the correct modes with generated autopilots
- compilation dependency fixed for generated autopilot
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 83e57b: [autopilot] fix detection of generated mode and ge...,
Gautier Hattenberger <=