From e6a1aff6cee374d8888d89ec03e604f19a0a450d Mon Sep 17 00:00:00 2001 From: JF Date: Thu, 20 Aug 2020 09:38:10 +0200 Subject: Docker build : split build.sh into 2 scripts : build.sh that always exists and post_build.sh that is generated by cmake build.sh --- src/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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) -- cgit v1.2.3-70-g09d2