tree f0ce1fd849cd6d26cabe54ec09a2416397655e66
parent 453d35a920e5e30140ad93ed97cc11caacd30c8a
author Matthew Fernandez <matthew.fernandez@nicta.com.au> 1463378981 +1000
committer Matthew Fernandez <matthew.fernandez@nicta.com.au> 1463379160 +1000

libsel4bench: Separate ARM sources by CPU.

This commit restructures the build such that only the files for the current
target CPU are picked up. This was not causing problems previously as the
irrelevant sections were ifdefed out, but by selecting files in the build
system itself we avoid unnecessary compiler invocations and potentially
confusing output.