what does tools.sh do?

[liu justin]

Hi All,

 

   There is a shell scripts in bin folder, what is it used for?

 

Thanks.

 

   Justin Liu