log Makefile @ 390:5d05fe6feb7d prerelease

age author description
2016-06-14 Liam Donovan suppress unwanted output in Makefile prerelease
2016-06-14 Liam Donovan merge prerelease
2016-06-14 Liam Donovan add 'runide' target to Makefile prerelease
2016-06-14 Giulio Moro Makefile: prompt for distclean, cleanup prerelease