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