Joakim Gebart d4b054c067 Merge pull request #2392 from gebart/pr/docker-initial ... Makefile.include: Add support for running make inside a Docker container		2015-04-26 13:49:29 +02:00
..
tools	travis: build applications only on change	2015-04-16 15:54:15 +02:00
ar-wrapper	make: OSX: don't fail for empty .a archives	2014-06-24 20:29:32 +02:00
Dockerfile	dist: add Dockerfile for docker builder container	2014-10-22 18:11:21 +02:00
empty.a	make: OSX: don't fail for empty .a archives	2014-06-24 20:29:32 +02:00
gdbinit-docker	Makefile.include: Add docker target.	2015-04-24 16:03:52 +02:00
Makefile	make: doc: clean up dist Makefile	2014-10-22 20:00:26 +02:00