Updated harness builds to match hake.sh
authorDavid Cock <david.cock@inf.ethz.ch>
Mon, 31 Aug 2015 14:47:51 +0000 (16:47 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Mon, 31 Aug 2015 14:47:51 +0000 (16:47 +0200)
commitf8636dabc14c76019b64908d18be4f27885e0d8b
treef5280a0545b5663c2875d810a1e124994290f4f5
parent48a2094e459618d2c92569f13816e0785ef045c1
Updated harness builds to match hake.sh

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
tools/harness/builds.py