make the sources volume mount SELinux friendly

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

diff --git a/Makefile b/Makefile
index b55b78655690794d6d5a39f23a8480834ea75058..a1658d41663ad176cc96911ac47cc7e7fc4350a0 100644 (file)
--- 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 ee6017a91e931ee2c887fa89dacae40f666b257e..07217e4dffefd4a6f788d4ad985d81d643eefdeb 100644 (file)
--- 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