From ced0f71f131278e1a87e32390d6e5d68d2158a66 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Sat, 22 Mar 2014 17:24:14 +0100 Subject: [PATCH] noux: enable 64bit builds for foc and nova Fixes #816 --- ports/run/noux_tool_chain_auto.run | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/ports/run/noux_tool_chain_auto.run b/ports/run/noux_tool_chain_auto.run index 780b311501..5a877c5956 100644 --- a/ports/run/noux_tool_chain_auto.run +++ b/ports/run/noux_tool_chain_auto.run @@ -13,7 +13,6 @@ if {[have_spec pistachio]} { exit 0 } -assert_spec 32bit set verbose_mode "no" @@ -24,7 +23,7 @@ set platform_cmds { } # default tool_chain timeout, overwritten by platform if required -set tool_chain_timeout 400 +set tool_chain_timeout 450 set noux_boot_timeout 100 if {[have_spec arm]} { @@ -48,7 +47,11 @@ if {[have_spec arm]} { } if {[have_spec x86]} { - set platform "nova_x86_32" + if {[have_spec 32bit]} { + set platform "nova_x86_32" + } else { + set platform "nova_x86_64" + } set platform_base_dir "base-nova" }