From 8d4f4e148d0d4cad7ac25c616f6a7096fef1e954 Mon Sep 17 00:00:00 2001
From: Graham Sanderson <graham.sanderson@raspberrypi.com>
Date: Wed, 5 May 2021 11:51:18 -0500
Subject: [PATCH] remove spurious sys/select.h include (#377)

---
 src/common/pico_sync/sem.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/common/pico_sync/sem.c b/src/common/pico_sync/sem.c
index 464e964..06bcac5 100644
--- a/src/common/pico_sync/sem.c
+++ b/src/common/pico_sync/sem.c
@@ -6,7 +6,6 @@
 
 #include "pico/sem.h"
 #include "pico/time.h"
-#include "sys/select.h"
 
 void sem_init(semaphore_t *sem, int16_t initial_permits, int16_t max_permits) {
     lock_init(&sem->core, next_striped_spin_lock_num());