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

1 files changed, 2 insertions, 5 deletions

diff --git a/Makefile b/Makefile
index 661575e..b6edb8f 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \