From 23dbd41be2be6ba03eedd25dc96a77533d577d0f Mon Sep 17 00:00:00 2001
From: Balazs Komuves <bkomuves@gmail.com>
Date: Fri, 15 Dec 2023 19:26:08 +0100
Subject: [PATCH] more typos

---
 workflow/README.md   | 7 +++++--
 workflow/cli_args.sh | 2 +-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/workflow/README.md b/workflow/README.md
index b9bd90b..331a6c9 100644
--- a/workflow/README.md
+++ b/workflow/README.md
@@ -50,11 +50,14 @@ You can edit `params.sh` to your taste before running the workflow scripts.
 
 ### Compile the circuit
 
-First create the main component:
+Create a build directory so we don't pollute the repo:
 
     $ mkdir -p build
     $ cd build
-    $ source ./cli_args.sh && ../../reference/nim/proof_input/cli $CLI_ARGS -v --circom="proof_main.circom"
+
+After that, the first real step is to create the main component:
+
+    $ source ../cli_args.sh && ../../reference/nim/proof_input/cli $CLI_ARGS -v --circom="proof_main.circom"
 
 Then compile the circuit:
 
diff --git a/workflow/cli_args.sh b/workflow/cli_args.sh
index 246de08..6ea183b 100755
--- a/workflow/cli_args.sh
+++ b/workflow/cli_args.sh
@@ -15,7 +15,7 @@ CLI_ARGS="--depth=$MAXDEPTH \
  --ncells=$NCELLS \
  --index=$SLOTINDEX"
 
-if [[ "$1" =~ "--export" ]]
+if [[ "$1" == "--export" ]]
 then
   echo "exporting CLI_ARGS"
   export CLI_ARGS