#
# Some Linux machines run a 64-bit kernel with a 32-bit userspace. 'uname -m'
-# shows these at x86_64, so in that case, ask the system 'gcc' what it thinks.
+# shows these as x86_64. Ask the system 'gcc' what it thinks.
#
AC_DEFUN([AC_IS_LINUX_MIXED],
[AC_CACHE_CHECK(for 32-bit userspace on 64-bit system,llvm_cv_linux_mixed,