remove -Winline (#481)

This commit is contained in:
Graham Sanderson 2021-06-28 16:05:14 -05:00 committed by GitHub
parent 4328b2c75f
commit 21bbaf3ca6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -33,8 +33,6 @@ if (NOT TARGET _pico_sdk_inclusion_marker)
add_subdirectory(tools) add_subdirectory(tools)
add_subdirectory(src) add_subdirectory(src)
add_compile_options(-Winline)
# allow customization # allow customization
add_sub_list_dirs(PICO_SDK_POST_LIST_DIRS) add_sub_list_dirs(PICO_SDK_POST_LIST_DIRS)
add_sub_list_files(PICO_SDK_POST_LIST_FILES) add_sub_list_files(PICO_SDK_POST_LIST_FILES)