Giulio Cesare Solaroli 48c9280c9a Updated build script to handle 'checksum' target ...

The build script can now be invoked, for example, with the following options:
> ./scripts/build checksum --frontend beta gamma

2013-04-17 17:45:39 +02:00

..

properties

Updated build script to handle 'checksum' target

2013-04-17 17:45:39 +02:00