Skip to content

Commit

Permalink
Shellcheck
Browse files Browse the repository at this point in the history
  • Loading branch information
jfldde committed Sep 10, 2024
1 parent 26934dd commit f0c80dd
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions resources/scripts/cycle-diff.sh
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,9 @@ TARGET_PCT=${TARGET_PCT:-3}
COMPARISON_FILE=${COMPARISON_FILE:-"comparison_results.log"}

# Used to silence custom risc0 build.rs output
export RISC0_GUEST_LOGFILE=$(mktemp)
RISC0_GUEST_LOGFILE=
export RISC0_GUEST_LOGFILE
RISC0_GUEST_LOGFILE=$(mktemp)

run_test_and_extract() {
local command="cargo test $TEST_NAME -p citrea -- --nocapture"
Expand Down Expand Up @@ -107,7 +109,8 @@ generate_comparison() {

check_regression() {
local metric="$1"
local value=$(grep "$metric:" $COMPARISON_FILE | awk '{print $NF}' | sed 's/%//')
local value
value=$(grep "$metric:" "$COMPARISON_FILE" | awk '{print $NF}' | sed 's/%//')
echo "Checking $metric:"

if [ -z "$value" ]; then
Expand Down

0 comments on commit f0c80dd

Please sign in to comment.