From d90054e7c0f41f4bab81df0548577a73b939a87a Mon Sep 17 00:00:00 2001 From: Michael Case Date: Wed, 7 Feb 2018 14:36:00 -0800 Subject: Merge changes from github. PiperOrigin-RevId: 184897758 --- third_party/gpus/cuda_configure.bzl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'third_party/gpus') diff --git a/third_party/gpus/cuda_configure.bzl b/third_party/gpus/cuda_configure.bzl index 8e1dd8a54f..255ae01190 100644 --- a/third_party/gpus/cuda_configure.bzl +++ b/third_party/gpus/cuda_configure.bzl @@ -826,7 +826,7 @@ def symlink_genrule_for_dir(repository_ctx, src_dir, dest_dir, genrule_name, if src_dir != None: src_dir = _norm_path(src_dir) dest_dir = _norm_path(dest_dir) - files = _read_dir(repository_ctx, src_dir) + files = '\n'.join(sorted(_read_dir(repository_ctx, src_dir).splitlines())) # Create a list with the src_dir stripped to use for outputs. dest_files = files.replace(src_dir, '').splitlines() src_files = files.splitlines() -- cgit v1.2.3