diff options
Diffstat (limited to 'src/test/shell/testenv.sh')
-rwxr-xr-x | src/test/shell/testenv.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/test/shell/testenv.sh b/src/test/shell/testenv.sh index e0bca651c3..e095d4dfae 100755 --- a/src/test/shell/testenv.sh +++ b/src/test/shell/testenv.sh @@ -30,10 +30,6 @@ function is_darwin() { [[ "${PLATFORM}" =~ darwin ]] } -function is_linux() { - [[ "${PLATFORM}" =~ linux ]] -} - function _log_base() { prefix=$1 shift |