Rename path variable due to zsh conflict (#9610)

This commit is contained in:
mehrdadn 2020-07-21 10:17:50 -07:00 committed by GitHub
parent 9c4cf0f961
commit 980ade01c8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,8 +15,8 @@ genrule(
], ],
cmd = """ cmd = """
tmpdir="redis.tmp" tmpdir="redis.tmp"
path=$(location Makefile) p=$(location Makefile)
cp -p -L -R -- "$${path%/*}" "$${tmpdir}" cp -p -L -R -- "$${p%/*}" "$${tmpdir}"
chmod +x "$${tmpdir}"/deps/jemalloc/configure chmod +x "$${tmpdir}"/deps/jemalloc/configure
parallel="$$(getconf _NPROCESSORS_ONLN || echo 1)" parallel="$$(getconf _NPROCESSORS_ONLN || echo 1)"
make -s -C "$${tmpdir}" -j"$${parallel}" V=0 CFLAGS="$${CFLAGS-} -DLUA_USE_MKSTEMP -Wno-pragmas -Wno-empty-body" make -s -C "$${tmpdir}" -j"$${parallel}" V=0 CFLAGS="$${CFLAGS-} -DLUA_USE_MKSTEMP -Wno-pragmas -Wno-empty-body"