Merge pull request #1080 from ids1024/pull

Changes to 'make pull'
2017-10-09 20:36:46 -06:00 · 2017-10-09 20:36:46 -06:00 · fdf35b3da3
parent 5787115671 0f8583e04d
commit fdf35b3da3
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 \