xenserver: Don't delete pidfile when stopping monitor-external-ids
[openvswitch] / boot.sh
1 #! /bin/sh
2 autoreconf --install --force