From 05828363eb5e1aa48f5db48acc440609a637e9d7 Mon Sep 17 00:00:00 2001 From: Bob Caddy Date: Fri, 28 Apr 2023 17:11:07 -0400 Subject: [PATCH] Update jenkinsfile for new clang-tidy log names --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index f974e3da7..d699732cb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -105,10 +105,10 @@ pipeline sh ''' printf '=%.0s' {1..100} printf "\n" - cat tidy_results_cpp.log + cat tidy_results_cpp_${CHOLLA_MAKE_TYPE}.log printf '=%.0s' {1..100} printf "\n" - cat tidy_results_gpu.log + cat tidy_results_gpu_${CHOLLA_MAKE_TYPE}.log printf '=%.0s' {1..100} printf "\n" '''