From 6f9eac8ea978c432ad15f16a7f9a0525d3f0373b Mon Sep 17 00:00:00 2001
From: Alex Demidoff <alexander.demidoff@percona.com>
Date: Tue, 2 Apr 2024 17:07:58 +0000
Subject: [PATCH] PMM-12899 remove a redundant directory

---
 build/local/build.sh    | 4 +++-
 update/ansible/.gitkeep | 0
 2 files changed, 3 insertions(+), 1 deletion(-)
 delete mode 100644 update/ansible/.gitkeep

diff --git a/build/local/build.sh b/build/local/build.sh
index 7f46190b8e..9dcef31aec 100755
--- a/build/local/build.sh
+++ b/build/local/build.sh
@@ -157,6 +157,7 @@ build_with_logs() {
   local script="$1"
   local start_time
   local end_time
+  local script_name=$(basename $script)
 
   if [ ! -f "$script" ]; then
     echo "FATAL: script $script does not exist"
@@ -166,13 +167,14 @@ build_with_logs() {
   start_time=$(date +%s)
   if [ "$#" -gt 1 ]; then
     shift
+    script_name="${script_name}:($1)"
     $script "$@" | tee -a $LOG_FILE
   else
     $script | tee -a $LOG_FILE
   fi
   end_time=$(date +%s)
 
-  echo "Execution time for $script: $((end_time - start_time)) seconds" | tee -a $LOG_FILE
+  echo "Execution time (in sec) for $script_name: $((end_time - start_time))" | tee 
 }
 
 init() {
diff --git a/update/ansible/.gitkeep b/update/ansible/.gitkeep
deleted file mode 100644
index e69de29bb2..0000000000