diff --git a/scripts/ci-plutus-benchmark.sh b/scripts/ci-plutus-benchmark.sh index db7c1bdf155..f820ce51183 100755 --- a/scripts/ci-plutus-benchmark.sh +++ b/scripts/ci-plutus-benchmark.sh @@ -66,9 +66,9 @@ echo "[ci-plutus-benchmark]: Clearing caches with cabal clean ..." cabal clean if [[ -z $(which taskset) ]]; then - TASKSET="taskset -c $CAPABILITY_NUM" -else TASKSET="" +else + TASKSET="taskset -c $CAPABILITY_NUM" fi echo "[ci-plutus-benchmark]: Running benchmark for PR branch at $PR_BRANCH_REF ..."