2008-07-17 Pavel Roskin <proski@gnu.org>
* configure.ac: Default to pc platform for x86_64.
This commit is contained in:
parent
546f966aa5
commit
737feb3579
3 changed files with 6 additions and 0 deletions
|
@ -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>
|
2008-07-17 Robert Millan <rmh@aybabtu.com>
|
||||||
|
|
||||||
Partial LinuxBIOS -> Coreboot rename.
|
Partial LinuxBIOS -> Coreboot rename.
|
||||||
|
|
1
configure
vendored
1
configure
vendored
|
@ -1945,6 +1945,7 @@ if test "x$with_platform" = x; then
|
||||||
case "$target_cpu"-"$target_vendor" in
|
case "$target_cpu"-"$target_vendor" in
|
||||||
i386-apple) platform=efi ;;
|
i386-apple) platform=efi ;;
|
||||||
i386-*) platform=pc ;;
|
i386-*) platform=pc ;;
|
||||||
|
x86_64-*) platform=pc ;;
|
||||||
powerpc-*) platform=ieee1275 ;;
|
powerpc-*) platform=ieee1275 ;;
|
||||||
sparc64-*) platform=ieee1275 ;;
|
sparc64-*) platform=ieee1275 ;;
|
||||||
*) { { echo "$as_me:$LINENO: error: unsupported machine type" >&5
|
*) { { echo "$as_me:$LINENO: error: unsupported machine type" >&5
|
||||||
|
|
|
@ -61,6 +61,7 @@ if test "x$with_platform" = x; then
|
||||||
case "$target_cpu"-"$target_vendor" in
|
case "$target_cpu"-"$target_vendor" in
|
||||||
i386-apple) platform=efi ;;
|
i386-apple) platform=efi ;;
|
||||||
i386-*) platform=pc ;;
|
i386-*) platform=pc ;;
|
||||||
|
x86_64-*) platform=pc ;;
|
||||||
powerpc-*) platform=ieee1275 ;;
|
powerpc-*) platform=ieee1275 ;;
|
||||||
sparc64-*) platform=ieee1275 ;;
|
sparc64-*) platform=ieee1275 ;;
|
||||||
*) AC_MSG_ERROR([unsupported machine type]) ;;
|
*) AC_MSG_ERROR([unsupported machine type]) ;;
|
||||||
|
|
Loading…
Add table
Reference in a new issue