# This is a dummy Makefile. When this package is invoked, OP-TEE has been built
# already, and the only installation step occurs in optee_os.mk.
install(FILES /dev/null DESTINATION /dev/null)
