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