Tiny building scripts improvements. #290

Merged
dpc merged 2 commits from master into master 2013-07-09 19:08:19 +02:00
No description provided.