diff options
| author |  Jason Zaman <jason@perfinion.com> | 2018-09-22 01:23:27 +0800 |
|---|---|---|
| committer | Jason Zaman <jason@perfinion.com> | 2018-09-22 10:31:27 +0800 |
| commit | ded4efd3cf8c4f0a1a8e04c72c99c0b60fdb57bd (patch) | |
| tree | 40f71edd55ef16ca1ca8963930426d3c2f1740b3 /tensorflow/BUILD | |
| parent | f5d29a57caff67d27f7e3ad5c36b4b09d19d50e0 (diff) | |
install_headers: skip externals that were unbundled
Signed-off-by: Jason Zaman <jason@perfinion.com>
Diffstat (limited to 'tensorflow/BUILD')
| -rw-r--r-- | tensorflow/BUILD | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tensorflow/BUILD b/tensorflow/BUILD index c8e24e3aff..56eedc4ea1 100644 --- a/tensorflow/BUILD +++ b/tensorflow/BUILD @@ -628,6 +628,14 @@ genrule( continue fi + if [[ $${d} == external* ]]; then + extname="$${d#*external/}" + extname="$${extname%%/*}" + if [[ $${TF_SYSTEM_LIBS:-} == *$${extname}* ]]; then + continue + fi + fi + mkdir -p "$@/$${d}" cp "$${f}" "$@/$${d}/" done |