diff options
author | Alexander Barkov <bar@mariadb.org> | 2017-07-04 15:31:25 +0400 |
---|---|---|
committer | Alexander Barkov <bar@mariadb.org> | 2017-07-04 15:31:25 +0400 |
commit | 5c0df0e4a89b12813cef665533e852a50ecaafae (patch) | |
tree | b75df302abedca56d679ef04a019fac3a5fc7dbc /BUILD/FINISH.sh | |
parent | 25ad623d64ebc34093544875e5b0ebd6101e975b (diff) | |
parent | ad2d722acd7bd7a816dff7838f3fa2dcaaeec8da (diff) | |
download | mariadb-git-5c0df0e4a89b12813cef665533e852a50ecaafae.tar.gz |
Merge remote-tracking branch 'origin/10.2' into bb-10.2-ext
Diffstat (limited to 'BUILD/FINISH.sh')
-rw-r--r-- | BUILD/FINISH.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index 070fed6da7c..cae34885145 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -35,6 +35,11 @@ fi # git clean -fdX removes all ignored (build) files commands="\ git clean -fdX +cd ./libmariadb +git submodule update +cd ../storage/rocksdb/rocksdb +git submodule update +cd ../../.. path=`dirname $0` . \"$path/autorun.sh\"" |