diff options
-rw-r--r-- | scripts/BUILD | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/BUILD b/scripts/BUILD index 398ce4ca48..df78a86b73 100644 --- a/scripts/BUILD +++ b/scripts/BUILD @@ -10,8 +10,10 @@ genrule( outs = ["bazel-complete.bash"], cmd = "cat $(SRCS) > $@\n" + "touch err.log\n" + - "trap \"rm err.log\" EXIT\n" + - "$(location //src:bazel) --host_javabase=$(JAVABASE) " + + "TMP=`mktemp -d $${TMPDIR:-/tmp}/tmp.XXXXXXXXXX`\n" + + "trap \"rm -fr err.log $${TMP}\" EXIT\n" + + "$(location //src:bazel) " + + " --batch --output_user_root=$${TMP} --host_javabase=$(JAVABASE) " + " help completion 2>err.log >>$@ || { cat err.log; exit 1; }", output_to_bindir = 1, tools = [ |