Make TOOLS_DIR if needed

Added some extra dir names to gitignore
2020-12-22 11:38:57 +00:00
parent 186fee9337
commit 1f243aeedb
2 changed files with 8 additions and 3 deletions
--- 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