log scripts/build_pd_heavy.sh @ 481:def3b8cf9749 prerelease

age author description
Tue, 21 Jun 2016 14:26:33 +0100 Giulio Moro build_pd_heavy: Parametrized hvresources path, looking for changes in hvresources as well prerelease
Tue, 21 Jun 2016 05:03:53 +0100 Giulio Moro build_pd_heavy improved robustness for relative paths prerelease