diff --git a/cpp/bootstrap.sh b/cpp/bootstrap.sh index f81477ff73..e9f41cba24 100755 --- a/cpp/bootstrap.sh +++ b/cpp/bootstrap.sh @@ -54,6 +54,7 @@ cd ./build cmake --build . --parallel --target grumpkin_srs_gen ./bin/grumpkin_srs_gen 8192 echo "Generated Grumpkin SRS successfully" +cd ../ # Install wasi-sdk. ./scripts/install-wasi-sdk.sh