Alex Crichton f0e58591b3 Build the intrinsics example separately 8 éve
..
docker 3f723d1141 modify the CI setup to run tests on the thumb targets 8 éve
run-docker.sh d0a57cb871 give Xargo a $HOME 8 éve
run.sh f0e58591b3 Build the intrinsics example separately 8 éve