updates #3537.
---
 source-builder/sb/rtems-build-dep | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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=':'
-- 
1.8.3.1

_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

Reply via email to