log Makefile @ 397:5848f5c8bc39 prerelease

age author description
Tue, 14 Jun 2016 18:24:25 +0100 Giulio Moro Reverting Makefile introduced in 814e85de67e1 prerelease