diff --git a/wscript b/wscript index 249cee3e7c..f0b632acf5 100644 --- a/wscript +++ b/wscript @@ -86,6 +86,10 @@ BOARDS = { 'CONFIG_HAL_BOARD_SUBTYPE=HAL_BOARD_SUBTYPE_NONE', ], + CXXFLAGS=[ + '-O3' + ], + LIB=[ 'm', 'pthread', @@ -103,6 +107,10 @@ BOARDS = { 'CONFIG_HAL_BOARD_SUBTYPE=HAL_BOARD_SUBTYPE_LINUX_NONE', ], + CXXFLAGS=[ + '-O3' + ], + LIB=[ 'm', 'pthread', @@ -120,6 +128,10 @@ BOARDS = { 'CONFIG_HAL_BOARD_SUBTYPE=HAL_BOARD_SUBTYPE_LINUX_MINLURE', ], + CXXFLAGS=[ + '-O3' + ], + LIB=[ 'm', 'pthread',