mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-12-10 07:14:36 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove spurious sys/select.h include (#377)

Browse source
This commit is contained in:
Graham Sanderson 2021-05-05 11:51:18 -05:00 • committed by GitHub
parent 6d87da4c59
commit 8d4f4e148d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/common/pico_sync/sem.c
View file

@ -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());