Lines Matching refs:header
426 local header
428 for header; do
429 dump " $header"
430 local src="$srcdir/$header"
431 local dst="$PLATFORM_ROOT/../include/$header"
432 if [ ! -f "$srcdir/$header" ] ; then
433 dump "ERROR: Missing system header: $srcdir/$header"
460 local header
461 for header; do
462 dump "Copying $arch system header: $header from $srcdir"
463 local src="$srcdir/$header"
464 local dst="$PLATFORM_ROOT/include/$header"
465 if [ ! -f "$srcdir/$header" ] ; then
466 dump "ERROR: Missing $ARCH system header: $srcdir/$header"