| OLD | NEW |
| 1 # Copyright (c) 2010 The Chromium OS Authors. All rights reserved. | 1 # Copyright (c) 2010 The Chromium OS Authors. All rights reserved. |
| 2 # Use of this source code is governed by a BSD-style license that can be | 2 # Use of this source code is governed by a BSD-style license that can be |
| 3 # found in the LICENSE file. | 3 # found in the LICENSE file. |
| 4 | 4 |
| 5 # Common constants for build scripts | 5 # Common constants for build scripts |
| 6 # This must evaluate properly for both /bin/bash and /bin/sh | 6 # This must evaluate properly for both /bin/bash and /bin/sh |
| 7 | 7 |
| 8 # All scripts should die on error unless commands are specifically excepted | 8 # All scripts should die on error unless commands are specifically excepted |
| 9 # by prefixing with '!' or surrounded by 'set +e' / 'set -e'. | 9 # by prefixing with '!' or surrounded by 'set +e' / 'set -e'. |
| 10 # TODO: Re-enable this once shflags is less prone to dying. | 10 # TODO: Re-enable this once shflags is less prone to dying. |
| (...skipping 436 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 447 | 447 |
| 448 # Get current timestamp. Assumes common.sh runs at startup. | 448 # Get current timestamp. Assumes common.sh runs at startup. |
| 449 start_time=$(date +%s) | 449 start_time=$(date +%s) |
| 450 | 450 |
| 451 # Print time elsapsed since start_time. | 451 # Print time elsapsed since start_time. |
| 452 print_time_elapsed() { | 452 print_time_elapsed() { |
| 453 end_time=$(date +%s) | 453 end_time=$(date +%s) |
| 454 elapsed_seconds="$(( $end_time - $start_time ))" | 454 elapsed_seconds="$(( $end_time - $start_time ))" |
| 455 minutes="$(( $elapsed_seconds / 60 ))" | 455 minutes="$(( $elapsed_seconds / 60 ))" |
| 456 seconds="$(( $elapsed_seconds % 60 ))" | 456 seconds="$(( $elapsed_seconds % 60 ))" |
| 457 echo "Elapsed time: ${minutes}:${seconds}" | 457 echo "Elapsed time: ${minutes}m${seconds}s" |
| 458 } | 458 } |
| OLD | NEW |