ADDITIONAL_MAKE_CLEAN_FILES --------------------------- Additional files to clean during the make clean stage. A list of files that will be cleaned as a part of the "make clean" stage.