platform_target($(PLATFORM))
