X-Git-Url: https://git.opendaylight.org/gerrit/gitweb?a=blobdiff_plain;f=jenkins-scripts%2Fmininet-fedora.sh;h=4c5ed652330bd7096361fba296ae0c87e80eeb09;hb=12dddebb9ac20a9e4ba9ae72596d28052c4bf043;hp=c9d31488c9fbe983317031e45959e73492615daf;hpb=a2e762249ad0bc66aeae29f10871d9664063ad79;p=releng%2Fbuilder.git diff --git a/jenkins-scripts/mininet-fedora.sh b/jenkins-scripts/mininet-fedora.sh index c9d31488c..4c5ed6523 100755 --- 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 :