Skip to content
Snippets Groups Projects
Commit 7c42aac0 authored by Petr Rockai's avatar Petr Rockai
Browse files

dios: Since runtime-cc no longer accepts -g, use the corresponding cc1 flag.

parent 9fd423f8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
dios/compile-flags.cmake
+ 1
− 1
View file @ 7c42aac0
list( APPEND flags -Oz ) list( APPEND flags -Oz )
list( APPEND flags -g ) list( APPEND flags -debug-info-kind=standalone )
list( APPEND flags -D__divine__ ) list( APPEND flags -D__divine__ )
list( APPEND flags -D_POSIX_C_SOURCE=2008098L ) list( APPEND flags -D_POSIX_C_SOURCE=2008098L )
list( APPEND flags -D_BSD_SOURCE ) list( APPEND flags -D_BSD_SOURCE )
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment