If SDKMACHINE is set then check that a configuration file matching it
actually exists, otherwise the user won't know that they've set it
incorrectly.
Signed-off-by: Paul Eggleton <paul.eggleton@linux.intel.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
if machinevalid:
status.addresult(check_toolchain(d))
+ # Check that the SDKMACHINE is valid, if it is set
+ if d.getVar('SDKMACHINE', True):
+ if not check_conf_exists("conf/machine-sdk/${SDKMACHINE}.conf", d):
+ status.addresult('Specified SDKMACHINE value is not valid\n')
+
check_supported_distro(d)
# Check if DISPLAY is set if TEST_IMAGE is set