diff options
| -rwxr-xr-x | script/trees | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/trees b/script/trees index dc8b7988..68d4f94b 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" |