diff options
author | Joe Eaves <jinux@alluha.net> | 2020-12-22 11:38:57 +0000 |
---|---|---|
committer | Joe Eaves <jinux@alluha.net> | 2020-12-22 11:38:57 +0000 |
commit | 1f243aeedbc42349dbaba0ad3c2801606f4a5623 (patch) | |
tree | e87fe169dbf6061304d0b585ac7c699b2ba1a28a /docker/build.sh | |
parent | 186fee9337154bef4e6cda2c1d1d5268eb303c6a (diff) |
Make TOOLS_DIR if needed
Added some extra dir names to gitignore
Diffstat (limited to 'docker/build.sh')
-rwxr-xr-x | docker/build.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docker/build.sh b/docker/build.sh index 48dd9f33..f35c2f3a 100755 --- a/docker/build.sh +++ b/docker/build.sh @@ -20,6 +20,9 @@ MACHINE="$(uname -m)" main() { local target="$1" + + mkdir -p "$TOOLS_DIR" + [[ ! -d "$TOOLS_DIR/$GCC_ARM_VER" ]] && GetGcc [[ ! -d "$TOOLS_DIR/$NRF_SDK_VER" ]] && GetNrfSdk [[ ! -d "$TOOLS_DIR/mcuboot" ]] && GetMcuBoot |