From: Dan Horák <dan@danny.cz>
Date: Thu, 23 Jan 2020 10:37:00 +0000 (+0100)
Subject: make the sources volume mount SELinux friendly
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab50c7710de7c2f3e40de5cde6ec4e609b888c67;p=microwatt.git

make the sources volume mount SELinux friendly

Signed-off-by: Dan Horák <dan@danny.cz>
---

diff --git a/Makefile b/Makefile
index b55b786..a1658d4 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ CFLAGS=-O2 -Wall
 #
 # Uncomment these lines to build with Docker/podman
 #PWD = $(shell pwd)
-#DOCKERARGS = run --rm -v $(PWD):/src -w /src
+#DOCKERARGS = run --rm -v $(PWD):/src:z -w /src
 #GHDL = $(DOCKER) $(DOCKERARGS) ghdl/ghdl:buster-llvm-7 ghdl
 #CC = $(DOCKER) $(DOCKERARGS) ghdl/ghdl:buster-llvm-7 gcc
 
diff --git a/Makefile.synth b/Makefile.synth
index ee6017a..07217e4 100644
--- a/Makefile.synth
+++ b/Makefile.synth
@@ -10,7 +10,7 @@ DOCKER=docker
 #DOCKER=podman
 #
 PWD = $(shell pwd)
-DOCKERARGS = run --rm -v $(PWD):/src -w /src
+DOCKERARGS = run --rm -v $(PWD):/src:z -w /src
 #
 GHDLSYNTH = ghdl
 YOSYS     = $(DOCKER) $(DOCKERARGS) ghdl/synth:beta yosys