#!/bin/bash

docker create --name build_cont arm-clang-coast:latest /bin/bash -c "cd diot-monimod/test_master/build; make clean; make -j9"
docker cp ../../../diot-monimod build_cont:/root/
docker start -a build_cont
docker cp build_cont:/root/diot-monimod/test_master/build/. .
docker rm build_cont
