mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-03-03 09:43:14 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

reindent

Browse source
This commit is contained in:
Leif Walsh 2013-04-27 14:49:25 -04:00
parent 36795f8ae7
commit cacbfaddad
1 changed files with 8 additions and 8 deletions

16
scripts/make.mysql.new.bash
View file

@ -15,17 +15,17 @@ if [[ ! -d mysql ]]; then
git clone $repos/ft-engine
pushd ft-engine
git checkout simplify-build
git checkout simplify-build
popd
cp -r ft-engine/* .
pushd storage/tokudb
git clone $repos/ft-index
pushd ft-index
git checkout simplify-build
pushd third_party
git clone $repos/jemalloc
popd
popd
git clone $repos/ft-index
pushd ft-index
git checkout simplify-build
pushd third_party
git clone $repos/jemalloc
popd
popd
popd
else
cd mysql