mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00
@@ -141,7 +141,7 @@ fi
|
|||||||
# Library file
|
# Library file
|
||||||
#
|
#
|
||||||
if [ ${op} = "library" ]; then
|
if [ ${op} = "library" ]; then
|
||||||
if [ "${OS}" = "Windows_NT" ]; then
|
if [ "${OS}" = "Windows_NT" -a "${OSTYPE}" -ne "cygwin" ]; then
|
||||||
sep=';'
|
sep=';'
|
||||||
else
|
else
|
||||||
sep=':'
|
sep=':'
|
||||||
|
Reference in New Issue
Block a user