1 Commits (1d60d9870d29a527bcf48bf712f9b26cdbfb03f1)

Author	SHA1	Message	Date
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.	9 years ago