[ci skip] Check before clone the mapped source

2018-05-20 19:56:07 +08:00
parent 753dc12c87
commit aaa7d31c5e
2 changed files with 4 additions and 2 deletions
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -12,7 +12,9 @@ if [ "$2" == "--setup" ] || [ "$3" == "--setup" ] || [ "$4" == "--setup" ]; then
 	(
 		if [ "$2" == "--remote" ] || [ "$3" == "--remote" ] || [ "$4" == "--remote" ]; then
 			cd "$paperworkdir"
-			git clone https://github.com/Akarin-project/Minecraft.git
+			if [ ! -d "Minecraft" ]; then
+				git clone https://github.com/Akarin-project/Minecraft.git
+			fi
 		fi
 		
 		cd "$paperbasedir"