From cc1c870f976e0a5fbf4736546bd3d931452a32ab Mon Sep 17 00:00:00 2001 From: Herman Zvonimir Došilović Date: Fri, 29 Jun 2018 17:53:03 +0200 Subject: Removed duplicated line in bazel.rc --- tools/bazel.rc | 2 -- 1 file changed, 2 deletions(-) (limited to 'tools') 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 -- cgit v1.2.3