Document sed bug.

This commit is contained in:
David Edelsohn 1995-07-27 21:37:26 +00:00
parent e9a9d059c4
commit c32dc3904b

View file

@ -12,6 +12,7 @@ if [ -z "${with_multisubdir}" ]; then
multisubdir=
else
multisubdir="/${with_multisubdir}"
# The '[^/][^/]*' appears that way to work around a SunOS sed bug.
dotdot=`echo ${with_multisubdir} | sed -e 's:[^/][^/]*:..:g'`
# TOP is used by newlib and should not be used elsewhere for this purpose.
# MULTITOP is the proper one to use.