diff options
| author |  Dmitry Lomov <dslomov@google.com> | 2016-06-29 15:37:27 +0000 |
|---|---|---|
| committer | Dmitry Lomov <dslomov@google.com> | 2016-06-29 15:40:43 +0000 |
| commit | e5f3baf0858d86ec266a6ca5c87b9662b30fb8a9 (patch) | |
| tree | f3c3a27ba53f2e2591c19ad787d53f52175ba7ef /src | |
| parent | 13fbc2d289fc7249d81556f3ece53301d506fb82 (diff) | |
Fix Windows detection in unittest.bash.
--
Change-Id: Iedc81e6502b374f5188e54d02b396502038f5174
Reviewed-on: https://bazel-review.googlesource.com/#/c/3924/
MOS_MIGRATED_REVID=126194925
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/shell/unittest.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/shell/unittest.bash b/src/test/shell/unittest.bash index 70e311faab..c78f491270 100644 --- a/src/test/shell/unittest.bash +++ b/src/test/shell/unittest.bash @@ -526,7 +526,7 @@ function __finish_test_report() { # Multi-platform timestamp function UNAME=$(uname -s | tr 'A-Z' 'a-z') -if [ "$UNAME" = "linux" ] || [ "$UNAME" = "msys_nt-6.1" ]; then +if [ "$UNAME" = "linux" ] || [[ "$UNAME" =~ msys_nt* ]]; then function timestamp() { echo $(($(date +%s%N)/1000000)) } |