Merge branch 'master' of github.com:redox-os/redox

2017-11-21 18:59:45 -07:00 · 2017-11-21 18:59:45 -07:00 · 86940c9640
parent 3b0b1f7ac0 9fedf6c354
commit 86940c9640
1 changed files with 5 additions and 1 deletions
--- a/bootstrap.sh
+++ b/bootstrap.sh
@ -461,7 +461,11 @@ boot()
 	echo "Cloning github repo..."
 	git clone https://github.com/redox-os/redox.git --origin upstream --recursive
 	rustInstall
+	if [[ "`cargo install --list`" != *"xargo"* ]]; then
 		cargo install xargo
+	else
+		echo "You have xargo installed already!"
+	fi
 	echo "Cleaning up..."
 	rm bootstrap.sh
 	echo