diff --git a/dev/ci/ci-wrapper.sh b/dev/ci/ci-wrapper.sh index 1f0e78a7572b..5d18acd790e1 100755 --- a/dev/ci/ci-wrapper.sh +++ b/dev/ci/ci-wrapper.sh @@ -48,7 +48,7 @@ fi code=$? echo 'Aggregating timing log...' echo -python ./tools/make-one-time-file.py --real "$CI_NAME.log" +tools/make-one-time-file.py --real "$CI_NAME.log" if [ "$CI" ] && ! [ $code = 0 ]; then set +x