From 49467d5cbe78beaadc1a6ab309695634f102568d Mon Sep 17 00:00:00 2001 From: Ziyang Liu Date: Fri, 24 Jun 2022 18:04:59 -0700 Subject: [PATCH] Don't cabal update --- scripts/create-dump.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/create-dump.sh b/scripts/create-dump.sh index d9f5da20f8..ee87c60386 100755 --- a/scripts/create-dump.sh +++ b/scripts/create-dump.sh @@ -35,7 +35,6 @@ do sleep 30 done -cabal update # Start the dump job cabal v2-run plutus-script-evaluation-test:dump-script-events -- --socket-path "$NODE_DIR"/db/node.socket --config "$NODE_DIR"/mainnet-config.json --mainnet --blocks-per-file 10000 --events-per-file 50000 --dir "$LOCAL_DUMP_DIR" & pid_dump=$!