From b2fc0ebd3352d4a028752ac78427f37b9187c383 Mon Sep 17 00:00:00 2001
From: bigeagle <justin.w.xd@gmail.com>
Date: Tue, 26 Jul 2016 00:34:23 +0800
Subject: [PATCH] fix linux.git initialization

---
 linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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