harness: machines: define custom buildall targets for armv7/armv8 machines
[barrelfish] / tools / harness / machines / eth.py
index dee33fc..f93b9c9 100644 (file)
@@ -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):