summaryrefslogtreecommitdiff
path: root/config.status.dep.patch
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-04-25 20:39:23 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-04-25 20:39:23 +0200
commitb28e05e203e0739fa5db59c5af378b29eea7a232 (patch)
treed06bc47d2f15b11a9325b38917567ba817087db2 /config.status.dep.patch
parent4e55e56252676ea4773023a08994c0f363844343 (diff)
Make sure mig is available
* configure.ac (MIG): Error out if MiG was not found.
Diffstat (limited to 'config.status.dep.patch')
0 files changed, 0 insertions, 0 deletions