From b0620db374ef289b67190c850ac9b366e1b723be Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Thu, 23 Mar 2023 17:24:58 -0700
Subject: [PATCH] Tool change docs

---
 bin/wally-tool-chain-install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh
index 798fe51bb..ef98aed76 100755
--- a/bin/wally-tool-chain-install.sh
+++ b/bin/wally-tool-chain-install.sh
@@ -35,8 +35,8 @@ set -e # break on error
 
 # Modify accordingly for your machine
 # Increasing NUM_THREADS will speed up parallel compilation of the tools
-NUM_THREADS=2 # for low memory machines > 16GiB
-#NUM_THREADS=8  # for >= 32GiB
+#NUM_THREADS=2 # for low memory machines > 16GiB
+NUM_THREADS=8  # for >= 32GiB
 #NUM_THREADS=16  # for >= 64GiB
 
 sudo mkdir -p $RISCV