tree 8ff4c43bc441b975687a2ff0b76ce628eb60139b
parent 340447fdf834d90ba40259a63442d811e2a83cbc
author Kent McLeod <kent.mcleod@nicta.com.au> 1462175075 +1000
committer Kent McLeod <kent.mcleod@nicta.com.au> 1462175075 +1000

libsel4platsupport: Small Kbuild rule fix