Merge branch 'development'

This commit is contained in:
Simon Butcher 2016-03-30 00:46:41 +01:00
commit b14de92404
6 changed files with 63 additions and 39 deletions

View file

@ -36,8 +36,8 @@ fi
# Step 1 - Make and instrumented build for code coverage
CFLAGS=' --coverage -g3 -O0 '
make
export CFLAGS=' --coverage -g3 -O0 '
make clean; make
# Step 2 - Execute the tests