md380tools/ci-script.sh

#!/bin/bash
set -e errexit	#otherwise bash continues after error!
make ci
#cd firmware ; ./test.sh