ChorusOS 5.0 Source Delivery Guide

Rebuilding a Component

You can delete any of the directories in build_dir during the generation process. If the directory is necessary, the make command will rebuild it. For example, you can remove the boot component and then run make, which will regenerate the component, if necessary.

host% rm -rf build-BSP/ 
host% make build