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
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