diff options
| author | Monty <monty@mariadb.org> | 2017-01-03 15:47:17 +0200 |
|---|---|---|
| committer | Monty <monty@mariadb.org> | 2017-01-11 09:19:45 +0200 |
| commit | bf95970ec03e353f297c3b809219cee91ac40724 (patch) | |
| tree | 19dddbd4f5f46de3b4a8cb0df914011a44b6d657 /BUILD/SETUP.sh | |
| parent | 53ae72e2ee657e3bdd348365db3b08844d24c3e3 (diff) | |
| download | mariadb-git-bf95970ec03e353f297c3b809219cee91ac40724.tar.gz | |
Cleanups
* Ensure that BUILD scripts cleans up things properly before new BUILD
* MySQL -> MariaDB
* Ignore wrong valgrind memleak
Diffstat (limited to 'BUILD/SETUP.sh')
| -rwxr-xr-x | BUILD/SETUP.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index d25b9d9d891..22357ce7fc8 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -42,7 +42,7 @@ Usage: $0 [-h|-n] [configure-options] Influences the debug flags. Old is default. --prefix=path Build with prefix 'path'. -Note: this script is intended for internal use by MySQL developers. +Note: this script is intended for internal use by MariaDB developers. EOF } |