set_directory_properties(
PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
"${extra_clean_files};${CMAKE_CURRENT_BINARY_DIR}/simgrid.trace;")
set_directory_properties(
PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
"${extra_clean_files};${CMAKE_CURRENT_BINARY_DIR}/simgrid.trace;")