log Makefile @ 407:5f3d7c23ffa7 prerelease

age author description
Wed, 15 Jun 2016 03:01:16 +0100 Giulio Moro Fixed Makefile: now runs from the correct folder prerelease