diff options
Diffstat (limited to 'remote/setup_target')
| -rwxr-xr-x | remote/setup_target | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/remote/setup_target b/remote/setup_target index 924450fd..f5e5f9e7 100755 --- a/remote/setup_target +++ b/remote/setup_target @@ -213,11 +213,11 @@ process_module() { install_dependencies pinfo "## Fetching source" [ -e "${MODULE_DIR}/.fetched_source" ] || { fetch_source && touch "${MODULE_DIR}/.fetched_source"; } - if [ -e "${MODULE_DIR}/.built" -a -d "${MODULE_DIR}/build" ]; then + if [ -e "${MODULE_DIR}/.built" -a -d "${MODULE_BUILD_DIR}" ]; then pinfo "# built-flag is set, skipping build..." else pinfo "## Building" - mkdir -p "${MODULE_DIR}/build" || perror "Could not create build dir" + mkdir -p "${MODULE_BUILD_DIR}" || perror "Could not create build dir" build # calls perror if something fails, no need to do that here touch "${MODULE_DIR}/.built" || pwarning "Error setting built-flag" fi |
