harness: machines: define custom buildall targets for armv7/armv8 machines
[barrelfish] / tools / harness / machines / __init__.py
index e560d0a..937363a 100644 (file)
@@ -74,7 +74,8 @@ class Machine(object):
         self._tick_rate = tickrate
 
         if bool(kwargs):
-            debug.error("Fix machine definition, unknown args: %s" % str(kwargs))
+            debug.warning("Machine base class does not understand the " +
+                    "following machine arguments: %s" % str(kwargs))
 
     def get_machine_name(self):
         return self._machine_name