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

2017-10-09 21:32:26 -06:00 · 2017-10-09 21:32:26 -06:00 · 12bf984d3d
parent 1e4e2c9ca2 fdf35b3da3
commit 12bf984d3d
1 changed files with 2 additions and 5 deletions
--- a/7
+++ b/7
@ -17,12 +17,9 @@ clean:
 	rm -rf build

 pull:
-	git pull --rebase --recurse-submodules
-	git submodule sync
+	git pull --recurse-submodules
+	git submodule sync --recursive
 	git submodule update --recursive --init
-	git clean -X -f -d
-	make clean
-	make update

 update:
 	cd cookbook && ./update.sh \