From 3d2d0a7c98dbc8923d9ff705b81ff4f7940ea6ff Mon Sep 17 00:00:00 2001
From: Alexey <AlexeyAB@users.noreply.github.com>
Date: Tue, 10 Jul 2018 22:24:17 +0000
Subject: [PATCH] Merge pull request #1172 from sberan/flush-stdout
---
.circleci/config.yml | 8 ++++++--
1 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/.circleci/config.yml b/.circleci/config.yml
index 4a79b0a..8a6ebfe 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -7,6 +7,10 @@
working_directory: ~/work
steps:
- checkout
- - run: make LIBSO=1 GPU=0 CUDNN=0 OPENCV=0 -j 8
- - run: make clean
+ - run: make LIBSO=1 GPU=0 CUDNN=0 OPENCV=0 -j 8
+ - run: make clean
+ - 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