aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authorGravatar gunan <gunan@google.com>2017-02-03 13:20:46 -0800
committerGravatar Rasmus Munk Larsen <rmlarsen@google.com>2017-02-03 13:20:46 -0800
commit084b37a00f3cf2cc89d433528ca63ec1d3b5b313 (patch)
tree60f20a450025c7e75a3d1a88b60e4dd89ebcf691 /configure
parent1f86cb64be05dd504cdf8b8f28f4786be27ffdc8 (diff)
Fix cudnn filename in configure script. (#7237)
* Fix cudnn filename in configure script. * Revert unwanted change to build_config.bzl.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 51c25c2451..62db930860 100755
--- a/configure
+++ b/configure
@@ -359,7 +359,7 @@ while true; do
TF_CUDNN_VERSION=${BASH_REMATCH[1]}
echo "libcudnn.so resolves to libcudnn${TF_CUDNN_EXT}"
elif [[ "$REALVAL" =~ ([0-9]*).dylib ]]; then
- TF_CUDNN_EXT=${BASH_REMATCH[1]}".dylib"
+ TF_CUDNN_EXT="."${BASH_REMATCH[1]}".dylib"
TF_CUDNN_VERSION=${BASH_REMATCH[1]}
echo "libcudnn.dylib resolves to libcudnn${TF_CUDNN_EXT}"
fi