dslab-epfl/s2e — pull request #20 by DonDiego (2013-02-11 14:37:36+00:00)
Title: Small build fixes

A branch with small build fixes; slightly updated. These are preliminary changes for more substantial Makefile reworking later on.