diff options
| author | Jonathan Perkin <jperkin@sun.com> | 2009-09-28 15:14:33 +0100 |
|---|---|---|
| committer | Jonathan Perkin <jperkin@sun.com> | 2009-09-28 15:14:33 +0100 |
| commit | 8f640b6239babacf2f7fc23b19b279a1c69f8b30 (patch) | |
| tree | e9775d722684f09b525bb9c0f58d492c12d95c86 /support-files | |
| parent | 6e8dea64c1185c2d8c77de9420ef04d2c2057a11 (diff) | |
| download | mariadb-git-8f640b6239babacf2f7fc23b19b279a1c69f8b30.tar.gz | |
bug#30954: "configure" script in binary distributions considered harmfull
Add --help option.
Diffstat (limited to 'support-files')
| -rw-r--r-- | support-files/binary-configure.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/support-files/binary-configure.sh b/support-files/binary-configure.sh index 884a8363e22..5e6d62f69a0 100644 --- a/support-files/binary-configure.sh +++ b/support-files/binary-configure.sh @@ -1,4 +1,28 @@ #!/bin/sh + +SCRIPT_NAME="`basename $0`" + +usage() +{ + echo "Usage: ${SCRIPT_NAME} [--help|-h]" + echo "" + echo "This script creates the MySQL system tables and starts the server." +} + +for arg do + case "$arg" in + --help|-h) + usage + exit 0 + ;; + *) + echo "${SCRIPT_NAME}: unknown option $arg" + usage + exit 2 + ;; + esac +done + if test ! -x ./scripts/mysql_install_db then echo "I didn't find the script './scripts/mysql_install_db'." |