diff --git a/Makefile b/Makefile new file mode 100644 index 0000000000..b142379e88 --- /dev/null +++ b/Makefile @@ -0,0 +1,4 @@ +.PHONY: git-submodule +git-submodule: + git submodule sync --recursive + git submodule update --init --recursive --progress