Don Porter fd9a3aca5d Fix a few library versions for the latest 16.04. We probably want a better way to handle this across systems. 7 gadi atpakaļ
..
include a5bc12fd53 Fixing miscellaneous bugs in LibOS 7 gadi atpakaļ
src a5bc12fd53 Fixing miscellaneous bugs in LibOS 7 gadi atpakaļ
test fd9a3aca5d Fix a few library versions for the latest 16.04. We probably want a better way to handle this across systems. 7 gadi atpakaļ
Makefile 5a5a7e4eb5 fix for build failure propagation 7 gadi atpakaļ