unknown changes on server

2025-06-30 23:12:45 +00:00 · 2020-03-20 17:19:30 +08:00 · 2020-03-20 17:19:30 +08:00 · f1aa219ed3
commit f1aa219ed3
parent d7de3bd4cf
2 changed files with 2 additions and 2 deletions
--- a/aosp.sh
+++ b/aosp.sh
@ -13,7 +13,7 @@ function repo_init() {

 function repo_sync() {
 	cd $TUNASYNC_WORKING_DIR
-	$REPO sync -f
+	$REPO sync -f -j1 || echo "WARNING: repo-sync may fail, but we just ignore it."
 }

 function git_repack() {
--- a/weave.sh
+++ b/weave.sh
@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -x
 set -e

 USE_BITMAP_INDEX=${USE_BITMAP_INDEX:-"0"}