1
0
Fork 0
mirror of https://github.com/dbarzin/pandora-box.git synced 2025-07-19 05:19:40 +02:00

fix github folder that already exists

This commit is contained in:
Didier 2023-04-27 13:33:38 +02:00
parent cc4fc6c6db
commit 1613c0f059

View file

@ -46,9 +46,14 @@ su - $SUDO_USER -c "poetry --version"
#---------------------
apt install -y build-essential tcl
if [ -d "redis" ];
then
git clone https://github.com/redis/redis.git
cd redis
git checkout 6.2
else
cd redis
fi
make
# Optionally, you can run the tests:
# make test
@ -62,9 +67,14 @@ chown -R $SUDO_USER redis
apt-get update
apt install -y gcc g++ make libsnappy-dev autoconf automake libtool googletest libgtest-dev
if [ -d "kvrocks" ];
then
git clone --recursive https://github.com/apache/incubator-kvrocks.git kvrocks
cd kvrocks
git checkout 2.0
else
cd kvrocks
fi
make -j4
# Optionally, you can run the tests:
# make test