Skip to content

Commit

Permalink
build: uncomment cat_slower
Browse files Browse the repository at this point in the history
  • Loading branch information
JCMais committed Dec 25, 2024
1 parent 138fc86 commit 75edc05
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions scripts/ci/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -51,11 +51,11 @@ fi
function cat_slower() {
echo "cat_slower called"
# Disabled, only really interesting if we need to debug something
# # hacky way to slow down the output of cat
# CI=${CI:-}
# # the grep is to ignore lines starting with |
# # which for config.log files are the source used to test something
# [ "$CI" == "true" ] && (cat $1 | grep "^[^|]" | perl -pe 'select undef,undef,undef,0.0033333333') || true
# hacky way to slow down the output of cat
CI=${CI:-}
# the grep is to ignore lines starting with |
# which for config.log files are the source used to test something
[ "$CI" == "true" ] && (cat $1 | grep "^[^|]" | perl -pe 'select undef,undef,undef,0.0033333333') || true
}

CI=${CI:-}
Expand Down

0 comments on commit 75edc05

Please sign in to comment.