diff options
| author | Ian Lance Taylor <ian@gcc.gnu.org> | 1994-08-19 16:01:48 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@gcc.gnu.org> | 1994-08-19 16:01:48 +0000 |
| commit | 17c962890433bdadc7228dbe967c97f9e38581c4 (patch) | |
| tree | 69b42990f9ccf9740687c6424087f927fa91f56c /gcc | |
| parent | 4d4d7c0e7f1aff2c10d735ff809e2ea9744f171d (diff) | |
| download | gcc-17c962890433bdadc7228dbe967c97f9e38581c4.zip gcc-17c962890433bdadc7228dbe967c97f9e38581c4.tar.gz gcc-17c962890433bdadc7228dbe967c97f9e38581c4.tar.bz2 | |
Canonicalize ${INPUT} to avoid automounter problems.
From-SVN: r7945
Diffstat (limited to 'gcc')
| -rwxr-xr-x | gcc/fixincludes | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/fixincludes b/gcc/fixincludes index daf5daa..2e33da51 100755 --- a/gcc/fixincludes +++ b/gcc/fixincludes @@ -142,16 +142,19 @@ if $LINKS; then cd $dest # X gets the dir that the link actually leads to. x=`${PWDCMD}` + # Canonicalize ${INPUT} now to minimize the time an + # automounter has to change the result of ${PWDCMD}. + cinput=`cd ${INPUT}; ${PWDCMD}` # If a link points to ., make a similar link to . - if [ $x = $INPUT ]; then + if [ $x = ${cinput} ]; then echo $file '->' . ': Making link' rm -fr ${LIB}/$file > /dev/null 2>&1 ln -s . ${LIB}/$file > /dev/null 2>&1 # If link leads back into ${INPUT}, # make a similar link here. - elif expr $x : "${INPUT}/.*" > /dev/null; then + elif expr $x : "${cinput}/.*" > /dev/null; then # Y gets the actual target dir name, relative to ${INPUT}. - y=`echo $x | sed -n "s&${INPUT}/&&p"` + y=`echo $x | sed -n "s&${cinput}/&&p"` # DOTS is the relative path from ${LIB}/$file's dir back to ${LIB}. dots=`echo "$file" | sed -e 's@^./@@' -e 's@/./@/@g' -e 's@[^/][^/]*@..@g' -e 's@..$@@'` |