From 56fc8834c736878af34f00caa95e7d4a57ab01d2 Mon Sep 17 00:00:00 2001 From: Shanqing Cai Date: Mon, 23 Jan 2017 18:25:25 -0800 Subject: Merge changes from github. Change: 145363673 --- third_party/libxsmm.BUILD | 3 --- 1 file changed, 3 deletions(-) (limited to 'third_party/libxsmm.BUILD') diff --git a/third_party/libxsmm.BUILD b/third_party/libxsmm.BUILD index a0aab0f5b7..a85a2013b6 100644 --- a/third_party/libxsmm.BUILD +++ b/third_party/libxsmm.BUILD @@ -60,8 +60,6 @@ cc_library( "src/libxsmm_dump.c", "src/libxsmm_malloc.c", "src/libxsmm_gemm.c", - "src/libxsmm_gemm_diff.c", - "src/libxsmm_hash.c", "src/libxsmm_timer.c", "src/libxsmm_trace.c", "src/libxsmm_trans.c", @@ -108,7 +106,6 @@ cc_library( "src", "src/template", ], - linkopts = ["-ldl"], visibility = ["//visibility:public"], ) -- cgit v1.2.3