summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2021-02-09 18:51:15 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2021-02-09 18:52:36 +0100
commitd80a4d8734a6598daf449835d1aa7de09c986250 (patch)
treed4adb2446f0f10edf5244ce49ae71f546fcee68e /configure.ac
parentcfaf1849ecbdfb0bdf0fc7312271d25bb32ba38d (diff)
Default MIG to mig when not found.
bash: no: command not found seems to be confusing for users. Revert to setting back to mig, but after printing the warning. * configure.ac (MIG): Default to mig when not found.
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 5d0ce2a3..e7fdfe6a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -95,6 +95,7 @@ AC_ARG_VAR([MIG], [Path to the mig tool])
if test x$MIG = xno
then
AC_MSG_WARN([mig was not found, we will not be able to build a kernel, only install headers. Install or build mig against them, and run configure again. If you already did so, perhaps you need to specify the path with MIG=])
+ MIG=mig
fi
dnl Needed for the Automake option `subdir-objects'.