diff options
author | davidovski <david@davidovski.xyz> | 2022-05-28 19:33:01 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-05-28 19:33:01 +0100 |
commit | 44a5cf53a706ea03d1457350c8cb4f267b6e3481 (patch) | |
tree | 0555d327af81301b891666cd695c0932fa1d64af | |
parent | bc16b2767d8ec9e8c84828df48e7eab793713003 (diff) |
fixed build to correctly build
-rw-r--r-- | src/build.sh | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/build.sh b/src/build.sh index ed9b0ca..29a6398 100644 --- a/src/build.sh +++ b/src/build.sh @@ -52,10 +52,7 @@ get_installed_revision () { # test if the given package by name needs to be rebuilt # needs_build () { - name=$1 - builddir=$(get_package_build $name) - - [ "$(get_revision $builddir)" = "$(get_installed_revision $name)" ] + [ "$(get_revision $(get_package_build $1))" != "$(get_installed_revision $1)" ] } @@ -77,9 +74,11 @@ build_package () { build () { $DO_SYNC && get_buildfiles - set -- $(build_order $@) + mentioned=$@ + pkgs=$(build_order $@) - for p in $@; do + set -- + for p in $pkgs; do needs_build $p && set -- $@ $p done |