log scripts/build_pd_heavy.sh @ 490:b6b532e88a5c prerelease

age author description
Tue, 21 Jun 2016 17:14:39 +0100 Giulio Moro build_pd_heavy.sh minor update prerelease
Tue, 21 Jun 2016 16:32:12 +0100 Giulio Moro better error message in build_pd_heavy prerelease