From b9321f17754cbd0d5995c002cd6294fa0f24450d Mon Sep 17 00:00:00 2001
From: Pieter Noordhuis <pietern@fb.com>
Date: Thu, 9 Jan 2020 07:05:01 +0100
Subject: [PATCH] Enable GCC 5 build

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

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 99083f80e..3b10f6f55 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -69,6 +69,11 @@ jobs:
 workflows:
   build:
     jobs:
+      - build:
+          name: gcc5
+          docker_image: ubuntu:18.04
+          apt_get: "gcc-5 g++-5"
+          cmake_compiler: -DCMAKE_C_COMPILER=gcc-5 -DCMAKE_CXX_COMPILER=g++-5
       - build:
           name: gcc7
           docker_image: ubuntu:18.04