Fix boot.sh for the case where the extensions repository is not available.
[openvswitch] / switch / .gitignore
1 /Makefile
2 /Makefile.in
3 /switch
4 /switch.8