mirror of
https://git.rwth-aachen.de/acs/public/villas/node/
synced 2025-03-09 00:00:00 +01:00
deps: add SKIP_REDIS variable
This commit is contained in:
parent
b2a8b36fef
commit
3f79908bee
1 changed files with 2 additions and 2 deletions
|
@ -137,7 +137,7 @@ fi
|
|||
|
||||
# Build & Install hiredis
|
||||
if ! pkg-config "hiredis>1.0.0" && \
|
||||
[ -z "${SKIP_HIREDIS}" ]; then
|
||||
[ -z "${SKIP_HIREDIS}" -a -z "${SKIP_REDIS}" ]; then
|
||||
git clone --branch v1.0.0 --depth 1 https://github.com/redis/hiredis.git
|
||||
mkdir -p hiredis/build
|
||||
pushd hiredis/build
|
||||
|
@ -149,7 +149,7 @@ if ! pkg-config "hiredis>1.0.0" && \
|
|||
fi
|
||||
|
||||
# Build & Install redis++
|
||||
if [ -z "${SKIP_REDISPP}" ]; then
|
||||
if [ -z "${SKIP_REDISPP}" -a -z "${SKIP_REDIS}" ]; then
|
||||
git clone --depth 1 https://github.com/sewenew/redis-plus-plus.git
|
||||
mkdir -p redis-plus-plus/build
|
||||
pushd redis-plus-plus/build
|
||||
|
|
Loading…
Add table
Reference in a new issue