3 HACKAGE_REPO_TOOL_VERSION
="0.1.1"
4 CABAL_VERSION
="1.25.0.0"
6 # ---------------------------------------------------------------------
7 # Timing / diagnostic output
8 # ---------------------------------------------------------------------
10 JOB_START_TIME
=$
(date +%s
)
14 start_time
=$
(date +%s
)
19 # Calculate the durations
21 duration
=$
((end_time
- start_time
))
22 total_duration
=$
((end_time
- JOB_START_TIME
))
25 echo "$* took $duration seconds."
26 echo "whole job took $total_duration seconds so far."
29 if [ $total_duration -ge 2400 -a $
(uname
) = "Darwin" ]; then
30 echo "Job taking over 40 minutes. Terminating"