diff options
| -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 b41c5c5139d..20784c49f0b 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\"" |