#!/bin/bash
## 20160116, iceman
## Configure ARM , make sure you have the arm gcc in your $PATH variable.
cov-configure -co arm-none-eabi-gcc -- -mthumb-interwork