chiark / gitweb /
Remove stray bashisms from the NestedVM makefile.