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 | ea295c233b92fb06c476f0b0a011493d4c827435 (patch) | |
| tree | e9775d722684f09b525bb9c0f58d492c12d95c86 /support-files | |
| parent | f280974393b70cbe13f96bee2a79bfd0a625906f (diff) | |
| download | mariadb-git-ea295c233b92fb06c476f0b0a011493d4c827435.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'." |