mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 19:11:46 +01:00
Merge jbruehe@bk-internal.mysql.com:/home/bk/mysql-4.0
into mysql.com:/M40/mysql-4.0
This commit is contained in:
commit
f5089e2ef9
1 changed files with 3 additions and 0 deletions
|
@ -51,6 +51,9 @@ fi
|
|||
# libtool 1.4.2 workaround
|
||||
SED=${SED:-sed}
|
||||
|
||||
# workaround against unset 'max_cmd_len': assume at least 4 kB
|
||||
max_cmd_len=${max_cmd_len:-4096}
|
||||
|
||||
# The name of this program.
|
||||
progname=`$echo "$0" | ${SED} 's%^.*/%%'`
|
||||
modename="$progname"
|
||||
|
|
Loading…
Add table
Reference in a new issue