log scripts/build_pd_heavy.sh @ 488:441c8429f27c prerelease

age author description
Tue, 21 Jun 2016 16:32:12 +0100 Giulio Moro better error message in build_pd_heavy prerelease