Remove redundant git-submodule commands in configure.
Merge pull request #3123 from SimonSapin/redundant-submodule-commands

Remove redundant git-submodule commands in configure.