update instructions for building
diff --git a/INFO.md b/INFO.md
index 2f7388e..8fd5784 100644
--- a/INFO.md
+++ b/INFO.md
@@ -108,7 +108,7 @@
This goes through all the projects in project_urls.py, and fetches the latest artifact zip from GitHub. It takes the verilog, the GL verilog, and the GDS and copies
them to the correct place.
- ./configure.py --update-projects
+ ./configure.py --clone-all
### Configure Caravel
diff --git a/verification.md b/verification.md
index 4c5bb70..651fc3a 100644
--- a/verification.md
+++ b/verification.md
@@ -13,7 +13,7 @@
The default of 498 projects takes a very long time to simulate, so I advise overriding the configuration:
# fetch the test projects
- ./configure.py --test --update-projects
+ ./configure.py --test --clone-all
# rebuild config with only 20 projects
./configure.py --test --update-caravel --limit 20