Fix building on distros which use dash as the default shell.
[people/adir/gpxe.git] / src / util / .gitignore
1 nrv2b
2 zbin
3 hijack
4 prototester