dslab-epfl/s2e — pull request #13 by DonDiego (2013-01-23 21:30:54+00:00)
Title: Build trivial

Here is a first set of Makefile patches, now submitted through github...