On newer systems -ltinfo needs to be explicitly added to the link flags
[pintos-anon] / src / misc / bochs-2.6.2-build.sh
2017-10-29 Darshit ShahOn newer systems -ltinfo needs to be explicitly added...
2015-12-17 John OusterhoutPatches to make Bochs 2.6.2 work with Pintos