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
Tue, 21 Jun 2016 14:26:33 +0100 Giulio Moro build_pd_heavy: Parametrized hvresources path, looking for changes in hvresources as well prerelease