tooling: Remove dockermake and fix a mkdir issue in init.sh. Closes #277

1 files changed, 1 insertions, 0 deletions

diff --git a/init.sh b/init.sh
index 96171d83d..bede22993 100755
--- a/init.sh
+++ b/init.sh
@@ -403,6 +403,7 @@ else
     done
 
     echo "Generating '$GEN_MAKE_FILE'"
+    mkdir -p "$(dirname "$GEN_MAKE_FILE")"
     echo "#$INIT_FILE_HASH" > "$GEN_MAKE_FILE"
     echo "# Generated by init.sh -- do not modify manually" >> "$GEN_MAKE_FILE"
     echo "" >> "$GEN_MAKE_FILE"