Jorge Aparicio c1ef69f2a0 fix the test suite for the thumb targets vor 8 Jahren
..
docker 5c0e0f2070 CI: use Xargo 0.2.x vor 8 Jahren
run-docker.sh d0a57cb871 give Xargo a $HOME vor 8 Jahren
run.sh c1ef69f2a0 fix the test suite for the thumb targets vor 8 Jahren