mirror of
https://github.com/MariaDB/server.git
synced 2026-05-10 00:54:30 +02:00
Merge mysql.com:/home/jimw/my/mysql-4.1-10986
into mysql.com:/home/jimw/my/mysql-4.1-clean
This commit is contained in:
commit
a27b5b31fc
1 changed files with 13 additions and 5 deletions
|
|
@ -60,11 +60,19 @@ fix_path ()
|
|||
|
||||
get_full_path ()
|
||||
{
|
||||
case $1 in
|
||||
/*) echo "$1";;
|
||||
./*) tmp=`pwd`/$1; echo $tmp | sed -e 's;/\./;/;' ;;
|
||||
*) which $1 ;;
|
||||
esac
|
||||
file=$1
|
||||
|
||||
# if the file is a symlink, try to resolve it
|
||||
if [ -h $file ];
|
||||
then
|
||||
file=`ls -l $file | awk '{ print $NF }'`
|
||||
fi
|
||||
|
||||
case $file in
|
||||
/*) echo "$file";;
|
||||
*/*) tmp=`pwd`/$file; echo $tmp | sed -e 's;/\./;/;' ;;
|
||||
*) which $file ;;
|
||||
esac
|
||||
}
|
||||
|
||||
me=`get_full_path $0`
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue