From b23d6edaf6ecd7b62d1f2badbf8ef37640881949 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Wed, 28 Feb 2024 09:33:55 -0800
Subject: [PATCH] Fix build-setup.sh typo

Co-authored-by: Abraham Gonzalez <abe.j.gonza@gmail.com>
---
 scripts/build-setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build-setup.sh b/scripts/build-setup.sh
index 786f49ac..56f56506 100755
--- a/scripts/build-setup.sh
+++ b/scripts/build-setup.sh
@@ -312,7 +312,7 @@ if run_step "10"; then
 
     if [ "$BUILD_CIRCT" = true ] ; then
 	echo "Building CIRCT from source, and installing to $PREFIX"
-	$CYDIR/scripts/build-circt-from-source --prefix $PREFIX
+	$CYDIR/scripts/build-circt-from-source.sh --prefix $PREFIX
     else
 	echo "Downloading CIRCT from nightly build"