From cfc5fedbb6df2471493b1ec162d0024485618211 Mon Sep 17 00:00:00 2001
From: AlexeyAB <alexeyab84@gmail.com>
Date: Tue, 10 Jul 2018 20:29:15 +0000
Subject: [PATCH] Just used spaces for indents instead of Tabs
---
.circleci/config.yml | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/.circleci/config.yml b/.circleci/config.yml
index 0bae244..8a6ebfe 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -12,3 +12,5 @@
- run: make LIBSO=1 GPU=0 CUDNN=0 OPENCV=1 -j 8
- run: make clean
- run: make LIBSO=1 GPU=1 CUDNN=1 OPENCV=1 -j 8
+ - run: make clean
+ - run: make LIBSO=1 GPU=1 CUDNN=1 OPENCV=1 CUDNN_HALF=1 -j 8
--
Gitblit v1.10.0