summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2025-06-22 18:26:12 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2025-06-22 18:26:12 +0200
commit9aecfa657d6b46468d1be95b76f037aebfca3652 (patch)
treef9c7d4ccd10d0c5f41442addf02bf5d74aa9457c
parent5f2f10fbeef89f5d8d4936d2b3caa0ee30fc0005 (diff)
tests: Also try to use mig as USER_MIG when not cross-building
-rw-r--r--tests/configfrag.ac8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/configfrag.ac b/tests/configfrag.ac
index de87cbad..bb3cf24f 100644
--- a/tests/configfrag.ac
+++ b/tests/configfrag.ac
@@ -30,6 +30,14 @@ else
fi]
AC_CHECK_PROG([USER_MIG], [$ac_miguser], [$ac_miguser])
+
+# Try mig as well if we are not cross-building
+[if test x"$USER_MIG" = x -a x"$host" = x"$build" ; then
+ ac_miguser=mig
+ AC_CHECK_PROG([USER_MIG], [$ac_miguser], [$ac_miguser])
+]
+[fi]
+
AC_ARG_VAR([USER_MIG], [Path to the mig tool for user-space tests])
AC_CHECK_PROG([USER_CC], [$CC], [$CC], [none])
AC_ARG_VAR([USER_CC], [C compiler command for user-space tests])