Searched defs:TOOLPREFIX (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/l4v/spec/cspec/c/ | ||
H A D | Makefile | 24 TOOLPREFIX ?= arm-none-eabi- macro 28 TOOLPREFIX ?= riscv64-unknown-elf- macro 38 TOOLPREFIX := macro |
Completed in 23 milliseconds