Skip to content

Commit

Permalink
Add a timer to rebuild script
Browse files Browse the repository at this point in the history
  • Loading branch information
roceb committed Aug 9, 2024
1 parent b47701a commit 17a027a
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions bin/rebuild
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@

set -e

timer_start=$(date +%s)
DIR=$(cd "$(dirname "$0")"; pwd)
# shellcheck source=./etc/settings.cfg.sh
. "${DIR}/../etc/settings.cfg.sh"
Expand Down Expand Up @@ -217,8 +218,9 @@ fi
if [[ -n $TAG ]]; then
eups tags --clone="$BUILD" "$TAG"
fi

echo "# BUILD $BUILD completed."
timer_end=$(date +%s)
RUNTIME=$((timer_end-timer_start))
echo "# BUILD $BUILD completed in $RUNTIME seconds."
) 200>"$DIR/../var/run/rebuild.run"

# vim: tabstop=2 shiftwidth=2 expandtab

0 comments on commit 17a027a

Please sign in to comment.