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

Merge hundin:/my/mysql-3.23 into tik.mysql.fi:/home/my/mysql-3.23

This commit is contained in:
monty@tik.mysql.fi
2002-03-05 15:49:34 +02:00
7 changed files with 22 additions and 11 deletions

View File

@ -44,21 +44,22 @@ which ()
# No paths below as we can't be sure where the program is!
BASENAME=`which basename | head -1`
DIFF=`which diff | head -1`
SED=sed
BASENAME=`which basename | $SED q`
DIFF=`which diff | $SED q`
CAT=cat
CUT=cut
TAIL=tail
ECHO=echo # use internal echo if possible
EXPR=expr # use internal if possible
FIND=find
GCOV=`which gcov | head -1`
GCOV=`which gcov | $SED q`
PRINTF=printf
RM=rm
TIME=time
TR=tr
XARGS=`which xargs | head -1`
SED=sed
XARGS=`which xargs | $SED q`
# Are we using a source or a binary distribution?