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;  } | 
