#!/bin/bash
## 20160116, iceman
+## remove old
+rm /home/user/cov-analysis-linux-7.7.0.4/config/coverity_config.xml
+rm -rf /home/user/cov-analysis-linux-7.7.0.4/config/gcc-config-?
+rm -rf /home/user/cov-analysis-linux-7.7.0.4/config/g++-config-?
-## Configure ARM , make sure you have the arm gcc in your $PATH variable.
-cov-configure -co arm-none-eabi-gcc
+## Configure ARM , make sure you have the arm gcc in your $PATH variable.
+cov-configure -co arm-none-eabi-gcc -- -mthumb-interwork