diff --git a/source-builder/sb/rtems-build-dep b/source-builder/sb/rtems-build-dep index 0a49e70..3a82753 100755 --- a/source-builder/sb/rtems-build-dep +++ b/source-builder/sb/rtems-build-dep @@ -141,7 +141,7 @@ fi # Library file # if [ ${op} = "library" ]; then - if [ "${OS}" = "Windows_NT" ]; then + if [ "${OS}" = "Windows_NT" -a "${OSTYPE}" -ne "cygwin" ]; then sep=';' else sep=':'