dslab-epfl/s2e — pull request #33 by DonDiego (2013-04-08 17:04:46+00:00)
Title: weekly build system changes

This week, a very small and simple set of fixes for a change. My stash of unmerged commits is continuously dwindling, but the last set after this one is going to be quiet substantial.