From 58ae12d00063d32018e3cc1dbb160a7c5eedc1af Mon Sep 17 00:00:00 2001
From: Marian Buschsieweke <marian.buschsieweke@ovgu.de>
Date: Tue, 15 Dec 2020 22:34:57 +0100
Subject: [PATCH] tests/bench_sys_atomic_utils: update Makefile.ci

Sadly GCC currently doesn't optimize as expected and the additional return
value increases the ROM a bit. As a result, the application doesn't fit
into the ROM of four additional boards.
---
 tests/bench_sys_atomic_utils/Makefile.ci | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/bench_sys_atomic_utils/Makefile.ci b/tests/bench_sys_atomic_utils/Makefile.ci
index 2be4894dcb..0ddf9b83e4 100644
--- a/tests/bench_sys_atomic_utils/Makefile.ci
+++ b/tests/bench_sys_atomic_utils/Makefile.ci
@@ -1,4 +1,8 @@
 BOARD_INSUFFICIENT_MEMORY := \
+    arduino-duemilanove \
+    arduino-leonardo \
+    arduino-nano \
+    nucleo-l011k4 \
     samd10-xmini \
     stm32f030f4-demo \
     #