erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-05 00:15:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

chore: Update resources/builder.inc.sh

Browse source
This commit is contained in:
Marc Durdin 2023-05-22 11:32:45 +10:00 • committed by GitHub
parent be2c0ccf45
commit f8535c469e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
resources/builder.inc.sh
View file

@ -1732,7 +1732,6 @@ builder_has_dependencies() {
builder_has_module_been_built() {
local module="$1"
echo "builder_has_module_been_built: $module"
if [[ -z ${_builder_deps_built+x} ]]; then
# not in a builder context, so we assume a build is needed