make: Add a Dockerfile to build mgmt for Fedora

2023-07-10 21:18:47 +02:00
parent 7d73c7fca9
commit 0dcfe027b0
19 changed files with 74 additions and 29 deletions
--- a/test/shell/t2.sh
+++ b/test/shell/t2.sh
@@ -2,7 +2,7 @@

 . "$(dirname "$0")/../util.sh"

-if in_ci github; then
+if in_env github; then
 	# TODO: consider debugging this
 	echo "This is failing in github, skipping test!"
 	exit