ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

One more debug message

pull/15126/head
Jamie Smith 2021-10-05 08:16:56 -07:00
parent 7663be15c1
commit 503b9b8ac7
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/cmake/create_distro.cmake
View File

@ -25,7 +25,6 @@ function(copy_append_property PROPERTY SOURCE DESTINATION)
get_property(PROP_IS_DEFINED TARGET ${SOURCE} PROPERTY ${PROPERTY} SET)
if(PROP_IS_DEFINED)
get_property(PROP_VALUE TARGET ${SOURCE} PROPERTY ${PROPERTY})
#message("Copying ${PROPERTY} from ${SOURCE} -> ${DESTINATION}: ${PROP_VALUE} ")
set_property(TARGET ${DESTINATION} APPEND PROPERTY ${PROPERTY} "${PROP_VALUE}")
endif()
endfunction(copy_append_property)
@ -65,7 +64,7 @@ function(mbed_create_distro NAME) # ARGN: modules...
endif()
endif()
endforeach()
endwhile()
endfunction(mbed_create_distro)