diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-04-25 20:39:23 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-04-25 20:39:23 +0200 |
| commit | b28e05e203e0739fa5db59c5af378b29eea7a232 (patch) | |
| tree | d06bc47d2f15b11a9325b38917567ba817087db2 /kern | |
| parent | 4e55e56252676ea4773023a08994c0f363844343 (diff) | |
Make sure mig is available
* configure.ac (MIG): Error out if MiG was not found.
Diffstat (limited to 'kern')
0 files changed, 0 insertions, 0 deletions