2 Commits

Author	SHA1	Message	Date
Gaëtan Harter	41a891f284	tools: use 'BOARDSDIR' for the boards directory ... Replace uses of 'RIOTBOARD' by 'BOARDSDIR' for tools.	2019-12-16 15:35:04 +01:00
Joakim Gebart	8db628b17c	Makefile.include: Add docker target. ... export BUILD_IN_DOCKER=1 to use Docker for building inside a Docker container. GDB debug file paths will be wrong after building inside the container, use the script provided in `dist/gdbinit-docker` to set the correct GDB substitution paths (copy and paste the contents into your `~/.gdbinit`) The environment variable DOCKER_FLAGS can be used to pass extra parameters to the Docker process.	2015-04-24 16:03:52 +02:00