diff --git a/import_submodules.sh b/import_submodules.sh new file mode 100644 index 000000000..c1f703059 --- /dev/null +++ b/import_submodules.sh @@ -0,0 +1,8 @@ +rm -Rf external_imported +git clean -xfd +git submodule foreach --recursive git clean -xfd +git submodule foreach --recursive git reset --hard +git submodule update --init --recursive +cp -Rf external external_imported +find external_imported | grep "\.git$" | xargs rm -Rf +git add -f external_imported