diff options
Diffstat (limited to 'src/test/shell')
-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)) } |