summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPaul Bütow <pbuetow@mimecast.com>2018-12-19 17:17:22 +0000
committerPaul Bütow <pbuetow@mimecast.com>2018-12-19 17:17:22 +0000
commit081b6058bc89ae755f71f11f22423db27b1aeb3e (patch)
tree82615d285579bc049a7ae85065c5ec85051bbcba /Makefile
parent2de8687de485717a6a2b12bc186f03e4c9d7b5ab (diff)
can compile I/O Riot using Docker (tested on Mac OS X)
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0784785..ac19433 100644
--- a/Makefile
+++ b/Makefile
@@ -23,4 +23,5 @@ test:
dockerbuild:
sed s/KERNELVERSION/$(KERNEL)/ Dockerfile.in > Dockerfile
docker build . -t ioriot:$(KERNEL)
- docker run -it ioriot:$(KERNEL) --entrypoint /bin/bash -c 'make'
+ bash -c 'test ! -d /tmp/docker/opt/ && mkdir -p /tmp/docker/opt/; exit 0'
+ docker run -v /tmp/docker/opt:/opt -it ioriot:$(KERNEL) make all install