diff options
author | davidovski <david@davidovski.xyz> | 2022-01-10 19:10:27 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-01-10 19:10:27 +0000 |
commit | 9730def92bb19dedc76fc69287e94a768b8f38b8 (patch) | |
tree | b021e70ebe561eaf5a6cd1f68132023855a486f0 | |
parent | bfe8db420c2f43567d1d1468490f4d2f95b444d6 (diff) |
will still build index when none are being done
-rwxr-xr-x | build-repo.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/build-repo.sh b/build-repo.sh index 61ff305..aa02105 100755 --- a/build-repo.sh +++ b/build-repo.sh @@ -35,11 +35,9 @@ build () { if [ ${#ONLY[@]} == 0 ] || ( echo ${ONLY[*]} | grep -q $(basename -s .xibuild $BUILD_FILE)); then DEST=dist/$REPO_NAME - $XIBUILD -o $DEST $BUILD_FILE - - extend-index $BUILD_FILE $REPO_INDEX fi + extend-index $BUILD_FILE $REPO_INDEX done; rm xibuild.report.log @@ -160,6 +158,7 @@ clean () { sync () { for i in $@; do + echo "syncing to $@" [[ $# = 0 ]] || rsync -Lta --no-perms --no-owner --no-group --delete -z -e ssh ./dist/ $i done; } |