forked from Imagelibrary/seL4
cmake: add riscv-none-elf- as valid gcc prefix
The previous commit 05858be didn't actually add it to both instances
of the if/else statement, and so doesn't actually work in all cases
(e.g. with `../init-build.sh`).
Signed-off-by: julia <git.ts@trainwit.ch>
This commit is contained in: