Jorge Aparicio 36a437a445 fix nm call ... the prefix was missing a '-', i.e. arm-linux-gnueabinm was being called. This also sets -e in run.sh to catch this sort of errors.		2016-09-30 19:04:48 -05:00
..
docker	cache Cargo artifacts	2016-09-30 17:39:36 -05:00
run-docker.sh	use `docker run --user` instead of manually creating a user	2016-09-30 18:37:41 -05:00
run.sh	fix nm call	2016-09-30 19:04:48 -05:00