1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Merge with 3.23

This commit is contained in:
monty@mashka.mysql.fi
2003-01-16 20:47:46 +02:00
27 changed files with 89 additions and 49 deletions

View File

@@ -12,6 +12,8 @@
trap '' 1 2 3 15 # we shouldn't let anyone kill us
umask 007
defaults=
case "$1" in
--no-defaults|--defaults-file=*|--defaults-extra-file=*)