Merge "Migrate maven to freestyle for clm"

[releng/builder.git] / jenkins-scripts / mininet-fedora.sh

diff --git a/jenkins-scripts/mininet-fedora.sh b/jenkins-scripts/mininet-fedora.sh
index c9d31488c9fbe983317031e45959e73492615daf..4c5ed652330bd7096361fba296ae0c87e80eeb09 100755 (executable)
--- a/jenkins-scripts/mininet-fedora.sh
+++ b/jenkins-scripts/mininet-fedora.sh
@@ -15,4 +15,7 @@ semanage permissive -a openvswitch_t
 # make sure the firewall is stopped
 /bin/bash disable_firewall.sh
 
+# install crudini command line tool for editing config files
+yum install -y crudini
+
 # vim: sw=2 ts=2 sts=2 et :