From ec844ee798c695bbd73897dd9e760fb9b3e6aa3b Mon Sep 17 00:00:00 2001
From: Boris Faure <billiob@gmail.com>
Date: Thu, 30 Jul 2020 00:37:17 +0200
Subject: [PATCH] circleci: run with bash when needed

---
 .circleci/config.yml | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 3bc95cc0..ac95562b 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1,20 +1,24 @@
-version: 2
+version: 2.1
 
 jobs:
   checkout_code:
     docker:
       - image: borisfaure/terminology-ci:latest
+    shell: /bin/sh -leo pipefail
+    environment:
+      - BASH_ENV: /etc/profile
     steps:
       - run: |
           cd /terminology
           git pull --ff-only
           if [ -n "$CIRCLE_PR_NUMBER" ]; then
               git fetch origin pull/$CIRCLE_PR_NUMBER/head
-          fi
-          if [ -n "$CIRCLE_SHA1" ]; then
-            git reset --hard $CIRCLE_SHA1
           else
-            git reset --hard origin/master
+              if [ -n "$CIRCLE_SHA1" ]; then
+                git reset --hard $CIRCLE_SHA1
+              else
+                git reset --hard origin/master
+              fi
           fi
       - save_cache:
           key: checkout-{{ .Environment.CIRCLE_SHA1 }}
@@ -57,6 +61,9 @@ jobs:
   build_and_test_debug_gcc_efl_latest:
     docker:
       - image: borisfaure/terminology-ci:latest
+    shell: /bin/sh -leo pipefail
+    environment:
+      - BASH_ENV: /etc/profile
     steps:
       - restore_cache:
           key: checkout-{{ .Environment.CIRCLE_SHA1 }}