diff --git a/source/git.php b/source/git.php index 72abeab1c5..28177a5e05 100644 --- a/source/git.php +++ b/source/git.php @@ -26,7 +26,7 @@
  • Clone either of these repositories. For example (as of October 2014), to clone the main development repository via HTTPS: -shell$ git clone https://github.com/open-mpi/ompi.git +shell$ git clone --recursive https://github.com/open-mpi/ompi.git Cloning into 'ompi'... remote: Counting objects: 256644, done. remote: Total 256644 (delta 0), reused 0 (delta 0) diff --git a/source/index.php b/source/index.php index 89bd8acf9e..3e8095b26e 100644 --- a/source/index.php +++ b/source/index.php @@ -40,7 +40,7 @@ Advantage: You'll easily be able to keep up with the latest source code using normal Git -commands (e.g., 'git pull --rebase').
    +commands (e.g., 'git pull --rebase --recurse-submodules').
    Disadvantage: You need to have several tools installed to compile Open MPI from a developer checkout.