diff options
author | JF <jf@codingfield.com> | 2020-08-20 09:38:10 +0200 |
---|---|---|
committer | JF <jf@codingfield.com> | 2020-08-20 09:38:10 +0200 |
commit | e6a1aff6cee374d8888d89ec03e604f19a0a450d (patch) | |
tree | 610b11ce1f2d8f480a99a0488600861888651ea1 /src | |
parent | acbe9176f00bc758d9f13369b3efbe98b9fba1b9 (diff) |
Docker build : split build.sh into 2 scripts : build.sh that always exists and post_build.sh that is generated by cmake build.sh
Diffstat (limited to 'src')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 9bd81842..63bb0591 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -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) |