Merge branch 'development-restricted'

This commit is contained in:
Simon Butcher 2016-04-10 15:43:15 +01:00
commit 58ec0a6af3

View file

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