remove duplicate pico_rand inclusion in kitchen_sink (#1206)

This commit is contained in:
Graham Sanderson 2023-01-27 16:37:47 -06:00 committed by GitHub
parent 1552324a64
commit 2a9c59925a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 5 deletions

View File

@ -41,7 +41,6 @@ target_link_libraries(kitchen_sink_libs INTERFACE
pico_time
pico_unique_id
pico_util
pico_rand
)
add_library(kitchen_sink_options INTERFACE)

View File

@ -33,6 +33,9 @@
#include "pico/binary_info.h"
#include "pico/bit_ops.h"
#include "pico/bootrom.h"
#if LIB_PICO_CYW43_ARCH
#include "pico/cyw43_arch.h"
#endif
#include "pico/divider.h"
#include "pico/double.h"
#include "pico/fix/rp2040_usb_device_enumeration.h"
@ -48,10 +51,6 @@
#include "pico/sync.h"
#include "pico/time.h"
#include "pico/unique_id.h"
#include "pico/rand.h"
#if LIB_PICO_CYW43_ARCH
#include "pico/cyw43_arch.h"
#endif
#include "hardware/structs/adc.h"
#include "hardware/structs/bus_ctrl.h"