erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-10-11 00:17:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

Merge pull request #12145 from keymanapp/fix/common/descr_path

Browse source 
fix(common): show description even if child projects specifies path
This commit is contained in:
Eberhard Beilharz 2024-08-12 18:17:19 +02:00 • committed by GitHub
commit f6dde070d4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
resources/builder.inc.sh
View file

@ -866,6 +866,7 @@ builder_describe() {
IFS="=" read -r -a sub <<< "$value"
target_path="${sub[@]:1}"
value="${sub[0]}"
original_value="$value"
if [[ ! -d "$THIS_SCRIPT_PATH/$target_path" ]]; then
builder_die "Target path '$target_path' for $value does not exist."
fi