mirror of
https://github.com/MariaDB/server.git
synced 2026-05-14 19:07:15 +02:00
bug#30954: "configure" script in binary distributions considered harmfull
Add --help option.
This commit is contained in:
parent
f280974393
commit
ea295c233b
1 changed files with 24 additions and 0 deletions
|
|
@ -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'."
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue