#!/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 -- -mthumb-interwork