1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

typo fixed (bug #1390 - incorrect mysql_config output)

This commit is contained in:
unknown
2003-09-28 21:35:47 +02:00
parent eb7dc66717
commit 206168cd0a

View File

@@ -62,7 +62,7 @@ get_full_path ()
{
case $1 in
/*) echo "$1";;
./*) tmp=`pwd`/$1; echo $tmp | sed -e 's;/./;/;' ;;
./*) tmp=`pwd`/$1; echo $tmp | sed -e 's;/\./;/;' ;;
*) which $1 ;;
esac
}