mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-17 12:32:27 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add hint about using --help to see what options are available

Browse source
This commit is contained in:
msvensson@pilot.blaudden 2007-03-02 15:21:01 +01:00
parent 75ab386731
commit 1c5c12ac5e
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
BUILD/SETUP.sh
View file

@ -34,6 +34,7 @@ Note: this script is intended for internal use by MySQL developers.
EOF
* )
echo "Unknown option '$1'"
echo "Use -h or --help for usage"
exit 1
break ;;
esac