diff options
Diffstat (limited to 'projects/sample/autoconf/m4/linux_mixed_64_32.m4')
| -rw-r--r-- | projects/sample/autoconf/m4/linux_mixed_64_32.m4 | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/projects/sample/autoconf/m4/linux_mixed_64_32.m4 b/projects/sample/autoconf/m4/linux_mixed_64_32.m4 deleted file mode 100644 index 123491f87e..0000000000 --- a/projects/sample/autoconf/m4/linux_mixed_64_32.m4 +++ /dev/null @@ -1,17 +0,0 @@ -# -# Some Linux machines run a 64-bit kernel with a 32-bit userspace. 'uname -m' -# 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, -[ AC_LANG_PUSH([C]) - AC_COMPILE_IFELSE([AC_LANG_PROGRAM( - [[#ifndef __x86_64__ - error: Not x86-64 even if uname says so! - #endif - ]])], - [llvm_cv_linux_mixed=no], - [llvm_cv_linux_mixed=yes]) - AC_LANG_POP([C]) -]) -]) |