Fix boot.sh for the case where the extensions repository is not available.
[openvswitch] / third-party / .gitignore
1 /Makefile
2 /Makefile.in