diff options
Diffstat (limited to 'third_party/libxsmm.BUILD')
| -rw-r--r-- | third_party/libxsmm.BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/libxsmm.BUILD b/third_party/libxsmm.BUILD index 78ed1f4e16..ee49d281ab 100644 --- a/third_party/libxsmm.BUILD +++ b/third_party/libxsmm.BUILD @@ -3,7 +3,7 @@ licenses(["notice"]) # BSD 3-clause -exports_files(["LICENSE"]) +exports_files(["LICENSE.md"]) # Arguments to ./scripts/libxsmm_interface.py, see that file for detailed description. # precision: SP & DP |