aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar Herman Zvonimir Došilović <hermanz.dosilovic@gmail.com>2018-06-29 17:53:03 +0200
committerGravatar GitHub <noreply@github.com>2018-06-29 17:53:03 +0200
commitcc1c870f976e0a5fbf4736546bd3d931452a32ab (patch)
tree336eda7cbcf85af99aa5d905b679306ecdcc5b75 /tools
parentb7300de4ef75bdd9373bccc4ae5b98135a70287b (diff)
Removed duplicated line in bazel.rc
Diffstat (limited to 'tools')
-rw-r--r--tools/bazel.rc2
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/bazel.rc b/tools/bazel.rc
index 1c1e6afb65..e7b3d521c5 100644
--- a/tools/bazel.rc
+++ b/tools/bazel.rc
@@ -38,8 +38,6 @@ build:cuda_clang --define=using_cuda=true --define=using_cuda_clang=true --defin
build:win-cuda --define=using_cuda=true --define=using_cuda_nvcc=true
-build:mkl --define=using_mkl=true
-
build:sycl --crosstool_top=@local_config_sycl//crosstool:toolchain
build:sycl --define=using_sycl=true --define=using_trisycl=false