2008-07-17 Pavel Roskin <proski@gnu.org>

	* configure.ac: Default to pc platform for x86_64.

diff --git a/ChangeLog b/ChangeLog
index e21504b9e74b69b8436e47af595b6b66862d625f..e8243693f829b32e4077b5e7cdf4143ff648a21f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-07-17  Pavel Roskin  <proski@gnu.org>
+
+       * configure.ac: Default to pc platform for x86_64.
+
 2008-07-17  Robert Millan  <rmh@aybabtu.com>
 
        Partial LinuxBIOS -> Coreboot rename.

diff --git a/configure b/configure
index 0338d0d1e46aa2cb3269dcbd95f841a0527089fc..dfa2b1d16d7f476c810706a366e9de2a3e29f658 100644 (file)
--- a/configure
+++ b/configure
@@ -1945,6 +1945,7 @@ if test "x$with_platform" = x; then
   case "$target_cpu"-"$target_vendor" in
     i386-apple) platform=efi ;;
     i386-*) platform=pc ;;
+    x86_64-*) platform=pc ;;
     powerpc-*) platform=ieee1275 ;;
     sparc64-*) platform=ieee1275 ;;
     *) { { echo "$as_me:$LINENO: error: unsupported machine type" >&5

diff --git a/configure.ac b/configure.ac
index 031974d87ea4cca9ba90410be512d5a9b48ca43c..7d1782bbb4b7e89528b0277c0d8b9101efe9b0e0 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -61,6 +61,7 @@ if test "x$with_platform" = x; then
   case "$target_cpu"-"$target_vendor" in
     i386-apple) platform=efi ;;
     i386-*) platform=pc ;;
+    x86_64-*) platform=pc ;;
     powerpc-*) platform=ieee1275 ;;
     sparc64-*) platform=ieee1275 ;;
     *) AC_MSG_ERROR([unsupported machine type]) ;;