diff options
-rw-r--r-- | scripts/spike.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/spike.exp b/scripts/spike.exp index 03177d2..6205e91 100644 --- a/scripts/spike.exp +++ b/scripts/spike.exp @@ -1,6 +1,6 @@ load_generic_config "sim" set_board_info sim "spike pk" set_board_info compiler "[find_gcc]" -set_board_info ldflags "-static" +set_board_info ldflags "-static -pthread" set_board_info gdb,nosignals 1 set_board_info is_simulator 1 |