diff options
| author | David Edelsohn <dje.gcc@gmail.com> | 1995-07-27 21:37:26 +0000 |
|---|---|---|
| committer | David Edelsohn <dje.gcc@gmail.com> | 1995-07-27 21:37:26 +0000 |
| commit | c32dc3904b5ff3298c004a84ac0802122e1ffeb3 (patch) | |
| tree | 6bbe32bb0cab3e8ba640cccdc3bbf8cf8433d7d1 /cfg-ml-pos.in | |
| parent | e9a9d059c412f1ac4791c55ef8c080e93abe4a9e (diff) | |
| download | gdb-c32dc3904b5ff3298c004a84ac0802122e1ffeb3.zip gdb-c32dc3904b5ff3298c004a84ac0802122e1ffeb3.tar.gz gdb-c32dc3904b5ff3298c004a84ac0802122e1ffeb3.tar.bz2 | |
Document sed bug.
Diffstat (limited to 'cfg-ml-pos.in')
| -rw-r--r-- | cfg-ml-pos.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cfg-ml-pos.in b/cfg-ml-pos.in index b66bb07..3403098 100644 --- a/cfg-ml-pos.in +++ b/cfg-ml-pos.in @@ -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. |