diff options
| author | unknown <msvensson@pilot.blaudden> | 2007-03-02 15:21:01 +0100 |
|---|---|---|
| committer | unknown <msvensson@pilot.blaudden> | 2007-03-02 15:21:01 +0100 |
| commit | 06888e74fc9af162ba54dbdc6def4b8668fe088a (patch) | |
| tree | e92951ce2ecabf42ab53ebdcf7548f219049e1d6 /BUILD | |
| parent | 6e6fa326da3a41aac8768ddb22923d5f6291c762 (diff) | |
| download | mariadb-git-06888e74fc9af162ba54dbdc6def4b8668fe088a.tar.gz | |
Add hint about using --help to see what options are available
Diffstat (limited to 'BUILD')
| -rwxr-xr-x | BUILD/SETUP.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index febaac66e14..10324c22e56 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -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 |