From b4acd0f73c994ea1afa717320d7782908c8008b9 Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Sun, 9 Jun 2024 15:57:53 +0100 Subject: [PATCH] trees: exit with error if project undefined i was originally looser about this, because i also wanted the trees script to generically run "make" from any directory, but this behaviour was error-prone and it is no longer used in the build system. disable it, in the interest of stability. Signed-off-by: Leah Rowe --- script/trees | 3 +++ 1 file changed, 3 insertions(+) diff --git a/script/trees b/script/trees index 20301a6..6b1363a 100755 --- a/script/trees +++ b/script/trees @@ -34,6 +34,9 @@ main() done [ -z "$_f" ] && $err "missing flag (-m/-u/-b/-c/-x/-f/-s/-l/-n)" [ -z "$project" ] && $err "project name not specified" + + [ -f "config/git/$project" ] || $err "project '$project' not defined" + elfdir="elf/$project" datadir="config/data/$project" cfgsdir="config/$project"