From 896068779f35b478636b1f0c06f07077fcc6af86 Mon Sep 17 00:00:00 2001
From: Anders Blomdell <anders.blomdell@control.lth.se>
Date: Mon, 31 Oct 2022 18:24:49 +0100
Subject: [PATCH] Hidden STATE_DIR

---
 build_all | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build_all b/build_all
index 14faf2b..e808aae 100755
--- a/build_all
+++ b/build_all
@@ -2,6 +2,6 @@
 
 chmod o-rwx $(dirname $0)
 make -C $(dirname $0)/pip-install-to-json \
-     REPO=$(pwd)/repo STATE_DIR=$(pwd)/state install
+     REPO=$(pwd)/repo STATE_DIR=$(pwd)/.state install
 make -C $(dirname $0)/mbed-cli \
-     REPO=$(pwd)/repo STATE_DIR=$(pwd)/state build
+     REPO=$(pwd)/repo STATE_DIR=$(pwd)/.state build
-- 
GitLab