diff options
Diffstat (limited to '')
-rw-r--r-- | %HOME%/.bash_utils/cxx.sh | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/%HOME%/.bash_utils/cxx.sh b/%HOME%/.bash_utils/cxx.sh index bd9885f..5ad27ca 100644 --- a/%HOME%/.bash_utils/cxx.sh +++ b/%HOME%/.bash_utils/cxx.sh @@ -5,14 +5,9 @@ # For details, see https://github.com/egor-tensin/linux-home. # Distributed under the MIT License. -_runc_os_is_cygwin() ( - set -o errexit -o nounset -o pipefail - shopt -s inherit_errexit - - local os - os="$( uname -o )" - test 'Cygwin' = "$os" -) +_runc_os_is_cygwin() { + test "$OSTYPE" = cygwin +} if _runc_os_is_cygwin; then _runc_exe_ext='.exe' |