X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=tools%2Fharness%2Fmachines%2Feth.py;h=f93b9c9bbd501f2c8b86edeb1d5c9be63d62d4b3;hp=dee33fc5e56ee3b5964c7be8612f35e86d8a4555;hb=88949a8f0adcf1657af8a4d6a738751c01ecd80e;hpb=fbb2887d949c53a98e88f1c35ec91a708f069415

diff --git a/tools/harness/machines/eth.py b/tools/harness/machines/eth.py
index dee33fc..f93b9c9 100644
--- a/tools/harness/machines/eth.py
+++ b/tools/harness/machines/eth.py
@@ -100,6 +100,8 @@ class ETHMachine(ETHBaseMachine):
         super(ETHMachine, self).__init__(options, ETHMachineOperations(self), **kwargs)
 
     def get_buildall_target(self):
+        if 'buildall_target' in self._machines[self.name]:
+            return self._machines[self.name]['buildall_target']
         return self.get_bootarch().upper() + "_Full"
 
     def get_xphi_ncores(self):