fix linux.git initialization

This commit is contained in:
bigeagle 2016-07-26 00:34:23 +08:00
parent c18a71ba40
commit b2fc0ebd33

View File

@ -13,7 +13,7 @@ function update_linux_git() {
echo "==== SYNC linux.git DONE ====" echo "==== SYNC linux.git DONE ===="
} }
if [[ ! -d "$TUNASYNC_WORKING_DIR" ]]; then if [[ ! -f "$TUNASYNC_WORKING_DIR/HEAD" ]]; then
echo "Initializing Linux.git mirror" echo "Initializing Linux.git mirror"
repo_init repo_init
fi fi