dslab-epfl/s2e — pull request #21 by DonDiego (2013-02-17 22:37:06+00:00)
Title: Build refactoring

Here is the next set of small changes to the Makefile as preliminaries to more fundamental changes.