1# 2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: BSD-2-Clause 5# 6libcpio = ${SEL4_LIBS_PATH}/libcpio 7 8cpio-strip: cpio-strip.c ${libcpio}/src/cpio.c ${libcpio}/include/cpio/cpio.h 9 @echo " [CC] $@" 10 ${Q}${CC} -W -Wall -Wextra -std=c99 -I${libcpio}/include cpio-strip.c ${libcpio}/src/cpio.c -o $@ 11 12clean: 13 rm cpio-strip 14