log scripts/build_pd_heavy.sh @ 430:2e01a9d6cb58 prerelease

age author description
Thu, 16 Jun 2016 19:25:01 +0100 Giulio Moro Removed all the function() prerelease
Thu, 16 Jun 2016 19:20:22 +0100 Giulio Moro Some more sh compatiblity things: no &>, no 'function' prerelease