Harness: pass correct cmdline arguments to cpudriver
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 16:38:49 +0000 (17:38 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 16:38:49 +0000 (17:38 +0100)
commit1b98972c34d364aaf05e9c96263eb737b8f3f878
tree609a85c5af669d92a20315a3ff477f4028a4708a
parent930f69befb906f120a2139a69b431d86fafd951b
Harness: pass correct cmdline arguments to cpudriver

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
tools/harness/barrelfish.py
tools/harness/machines/__init__.py