[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 813592: [gen_modules] exit wit
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 813592: [gen_modules] exit with error if dependency is not... |
|
Date: |
Sun, 19 Jun 2016 12:58:52 -0700 |
Branch: refs/heads/dependency_error
Home: https://github.com/paparazzi/paparazzi
Commit: 8135921a5646d7bd7ab787765b340f766bb4cc09
https://github.com/paparazzi/paparazzi/commit/8135921a5646d7bd7ab787765b340f766bb4cc09
Author: Felix Ruess <address@hidden>
Date: 2016-06-19 (Sun, 19 Jun 2016)
Changed paths:
M sw/tools/generators/gen_modules.ml
Log Message:
-----------
[gen_modules] exit with error if dependency is not satisfied
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 813592: [gen_modules] exit with error if dependency is not...,
GitHub <=