Merge pull request #1760 from buggy213/patch-1

This commit is contained in:
Jerry Zhao
2024-01-23 22:11:38 -08:00
committed by GitHub

View File

@@ -294,6 +294,7 @@ if run_step "8"; then
fi fi
if run_step "10"; then if run_step "10"; then
begin_step "10" "Installing CIRCT"
# install circt into conda # install circt into conda
if run_step "1"; then if run_step "1"; then
PREFIX=$CONDA_PREFIX/$TOOLCHAIN_TYPE PREFIX=$CONDA_PREFIX/$TOOLCHAIN_TYPE
@@ -318,7 +319,7 @@ fi
# do misc. cleanup for a "clean" git status # do misc. cleanup for a "clean" git status
if run_step "11"; then if run_step "11"; then
begin_step "10" "Cleaning up repository" begin_step "11" "Cleaning up repository"
$CYDIR/scripts/repo-clean.sh $CYDIR/scripts/repo-clean.sh
exit_if_last_command_failed exit_if_last_command_failed
fi fi