projects / microwatt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39596dc) | patch
make the sources volume mount SELinux friendly
authorDan Horák <dan@danny.cz>
Thu, 23 Jan 2020 10:37:00 +0000 (11:37 +0100)
committerDan Horák <dan@danny.cz>
Wed, 29 Jan 2020 09:26:47 +0000 (10:26 +0100)
commitab50c7710de7c2f3e40de5cde6ec4e609b888c67
tree67bee27516a8268e0cd1639b10ffc7c3ff42525ftree
parent39596dc70ab744075585e6bbb130d525e2ce37a4commit | diff
make the sources volume mount SELinux friendly

Signed-off-by: Dan Horák <dan@danny.cz>
Makefile diff | blob | history
Makefile.synth diff | blob | history