diff options
| -rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index fbcebfc691806..599640cd67964 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -392,6 +392,7 @@ MAIN:{ '__MAKE_CONF' => "/dev/null", 'MAKEOBJDIRPREFIX' => "$sandbox/obj", + 'TARGET' => $machine, 'TARGET_ARCH' => $arch, 'TARGET_MACHINE' => $machine, @@ -402,6 +403,7 @@ MAIN:{ 'MAKE_KERBEROS4' => "YES", 'MAKE_KERBEROS5' => "YES", + 'BOOT2_UFS' => "UFS1_ONLY", ); # Build the world |