Searched refs:ARCHS_EXTRA (Results 1 - 1 of 1) sorted by relevance

/src/sys/rump/
H A Dlistsrcdirs82 ARCHS_EXTRA="arm/arm32 Makefile"
84 ARCHS_EXTRA="$ARCHS_EXTRA ews4800mips/include/pdinfo.h
164 for extra in ${ARCHS_EXTRA}; do

Completed in 2 milliseconds