docs: update README.rst build steps

GaloisInc · Oct 2, 2020 · f4b7ba9 · f4b7ba9
1 parent 8b8c84a
commit f4b7ba9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.rst b/README.rst
@@ -30,7 +30,7 @@ To clone the project, you'll need to initialize its submodules as well::
     $ git clone https://github.com/galoisinc/argo
     $ cd argo/
     $ git submodule init
-    $ pushd . && cd deps/saw-script/ && git submodule init && cd deps/abcBridge/ && git submodule init && popd
+    $ pushd . && cd deps/saw-script/ && git submodule update --init && cd deps/abcBridge/ && git submodule update --init && popd
 
 Most of the submodules are loaded recursively from the saw-script
 submodule, because that repository already contains the result of