diff options
| author | lenz@mysql.com <> | 2005-07-06 14:30:51 +0200 |
|---|---|---|
| committer | lenz@mysql.com <> | 2005-07-06 14:30:51 +0200 |
| commit | a9e1b8756d3a41816b6733ff61a63ea85fc92e82 (patch) | |
| tree | f0e55a01b7d8291c66d9aef90bf01592f830d9cb /scripts | |
| parent | e27338ac23928a398a4838c50fa71aedddf9ff6e (diff) | |
| parent | 68e5693096c48016b692f773f100fa19daa4de33 (diff) | |
| download | mariadb-git-a9e1b8756d3a41816b6733ff61a63ea85fc92e82.tar.gz | |
- manual merge of the make_binary_distribution.sh ChangeSet propagation
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/make_binary_distribution.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index 74734f4dd5f..7ae7352f3fc 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -27,7 +27,7 @@ parse_arguments() { --tmp=*) TMP=`echo "$arg" | sed -e "s;--tmp=;;"` ;; --suffix=*) SUFFIX=`echo "$arg" | sed -e "s;--suffix=;;"` ;; --no-strip) STRIP=0 ;; - --machine) MACHINE=`echo "$arg" | sed -e "s;--machine=;;"` ;; + --machine=*) MACHINE=`echo "$arg" | sed -e "s;--machine=;;"` ;; --silent) SILENT=1 ;; --with-ndbcluster) NDBCLUSTER=1 ;; *) |