From 53c7a624e406e44e5e763cba75285a9fb24d22fd Mon Sep 17 00:00:00 2001
From: Nicolas Stalder <n@stalder.io>
Date: Mon, 29 Jul 2019 23:47:50 +0200
Subject: [PATCH] Attempt to fix CI build

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

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 926bb7f..4fcd428 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -20,6 +20,11 @@ jobs:
           name: Install ARM gcc
           command: sudo apt-get update && sudo apt-get install gcc-arm-none-eabi libclang-dev libnewlib-dev
 
+      - run:
+          # NB: need cdefs.h for littlefs
+          name: Install cdefs.h
+          command: sudo apt-get update && sudo apt-get install libc6-dev
+
       - run:
           name: Build the firmware
           command: make build