From 90e872c5a40e391bcaf189760bbe31d3440ee3e2 Mon Sep 17 00:00:00 2001
From: Anders Blomdell <anders.blomdell@control.lth.se>
Date: Mon, 31 Oct 2022 18:22:00 +0100
Subject: [PATCH] STATE -> STATE_DIR

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

diff --git a/build_all b/build_all
index de649bc..14faf2b 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=$(pwd)/state install
+     REPO=$(pwd)/repo STATE_DIR=$(pwd)/state install
 make -C $(dirname $0)/mbed-cli \
-     REPO=$(pwd)/repo STATE=$(pwd)/state build
+     REPO=$(pwd)/repo STATE_DIR=$(pwd)/state build
-- 
GitLab