From 980ade01c88c0de34fe77c9e7ca08f24dd6ab9aa Mon Sep 17 00:00:00 2001 From: mehrdadn Date: Tue, 21 Jul 2020 10:17:50 -0700 Subject: [PATCH] Rename path variable due to zsh conflict (#9610) --- bazel/BUILD.redis | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bazel/BUILD.redis b/bazel/BUILD.redis index 2b5d396dd..f428f7b36 100644 --- a/bazel/BUILD.redis +++ b/bazel/BUILD.redis @@ -15,8 +15,8 @@ genrule( ], cmd = """ tmpdir="redis.tmp" - path=$(location Makefile) - cp -p -L -R -- "$${path%/*}" "$${tmpdir}" + p=$(location Makefile) + cp -p -L -R -- "$${p%/*}" "$${tmpdir}" chmod +x "$${tmpdir}"/deps/jemalloc/configure parallel="$$(getconf _NPROCESSORS_ONLN || echo 1)" make -s -C "$${tmpdir}" -j"$${parallel}" V=0 CFLAGS="$${CFLAGS-} -DLUA_USE_MKSTEMP -Wno-pragmas -Wno-empty-body"