[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] e707d1: [autopilot] fix detect
|
From: |
Gautier Hattenberger |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] e707d1: [autopilot] fix detection of generated mode and ge... |
|
Date: |
Tue, 11 Oct 2022 15:25:41 -0700 |
Branch: refs/heads/fix-generated_modes
Home: https://github.com/paparazzi/paparazzi
Commit: e707d17eca7b47e48415c9f300841f1a552f45e2
https://github.com/paparazzi/paparazzi/commit/e707d17eca7b47e48415c9f300841f1a552f45e2
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
- 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] e707d1: [autopilot] fix detection of generated mode and ge...,
Gautier Hattenberger <=