tree 928c28657d42dd63e755a36e0d009a1d5b65928b
parent a46a435a596ccb2cb0c559ed7976035b567a3ddb
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1589254528 +1000
committer Kent Mcleod <Kent.Mcleod@data61.csiro.au> 1594711335 +1000

trivial: Remove sel4benchsupport from sel4bench

libsel4bench doesn't depend on sel4benchsupport.