Gaëtan Harter ef13d91bed

tools/check: use RIOTTOOLS variable ...

Follow up to #9067 and part of #8821

2018-05-14 15:47:53 +02:00

..

check.sh

tools/check: use RIOTTOOLS variable

2018-05-14 15:47:53 +02:00