diff --git a/covconfig.sh b/covconfig.sh index 33f6faa8d..988a0c276 100755 --- a/covconfig.sh +++ b/covconfig.sh @@ -3,8 +3,7 @@ ## 20160116, iceman ## Configure ARM , make sure you have the arm gcc in your $PATH variable. -cov-configure -co arm-none-eabi-gcc - +cov-configure -co arm-none-eabi-gcc -- -mthumb-interwork