Docker build : split build.sh into 2 scripts : build.sh that always exists and post_build.sh that is generated by cmake build.sh

This commit is contained in:
JF
2020-08-20 09:38:10 +02:00
parent acbe9176f0
commit e6a1aff6ce
4 changed files with 16 additions and 11 deletions

View File

@@ -721,4 +721,4 @@ elseif(USE_OPENOCD)
endif()
configure_file(${CMAKE_CURRENT_SOURCE_DIR}/../docker/build.sh.in ${CMAKE_CURRENT_SOURCE_DIR}/../docker/build.sh)
configure_file(${CMAKE_CURRENT_SOURCE_DIR}/../docker/post_build.sh.in ${CMAKE_CURRENT_SOURCE_DIR}/../docker/post_build.sh)