diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2013-03-20 22:37:06 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2013-03-20 22:37:06 +0000 |
| commit | bef0b507497a019ae2a3f56b625e106d2b433629 (patch) | |
| tree | 461094d780088d3a67ccb44b2a6bc521b90dbb96 /sysdeps/mach/configure | |
| parent | 912cc4b3e4f9752b76d9cd43950fb8f5fa87117d (diff) | |
Move system-specific settings out of toplevel configure.in and config.make.in.
Diffstat (limited to 'sysdeps/mach/configure')
| -rw-r--r-- | sysdeps/mach/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sysdeps/mach/configure b/sysdeps/mach/configure index 33cf09bd71..3af372560f 100644 --- a/sysdeps/mach/configure +++ b/sysdeps/mach/configure @@ -162,6 +162,8 @@ fi if test "x$MIG" = xMISSING; then as_fn_error $? "cannot find required build tool mig" "$LINENO" 5 fi +config_vars="$config_vars +MIG = $MIG" ### Sanity checks for Mach header installation |