From 9e5b07e2f9547743e414bf8ea0ea3e00768c2c48 Mon Sep 17 00:00:00 2001
From: 760644586 <41118619+760644586@users.noreply.github.com>
Date: Fri, 20 Mar 2020 15:58:40 +0800
Subject: [PATCH] Update Aosp9.sh

---
 Aosp9.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Aosp9.sh b/Aosp9.sh
index 17b973d..e658d87 100644
--- a/Aosp9.sh
+++ b/Aosp9.sh
@@ -17,6 +17,7 @@ PATH=~/bin:$PATH
 
 git clone https://gerrit-googlesource.lug.ustc.edu.cn/git-repo
 sudo cp -r ./git-repo/. ./bin
+chmod a+x ~/bin/repo
 
 git config --global user.email "xiaomi@xiaomi.com"
 git config --global user.name "xiaomi"