diff --git a/interfaces-and-libraries.sh b/interfaces-and-libraries.sh index c46b670919..752922a8e1 100755 --- a/interfaces-and-libraries.sh +++ b/interfaces-and-libraries.sh @@ -186,7 +186,7 @@ function removeConflictingHeaders() { # On case-insensitive file systems, there will be some conflicts with # newlib. For now, universal interfaces get the right of way. - rm -f "$1/Threads.h" # thread.h: does not currently work anyways + rm -f "$1/Threads.h" # threads.h: does not currently work anyways rm -f "$1/Memory.h" # memory.h: non-standard aliasof string.h cp "$1/strings.h" "$1/bsdstrings.h" rm -f "$1/Strings.h" # strings.h: traditional bsd string functions