Change run.sh to proper bash script.
Change run.sh to proper bash script.

The first command line argument is treated as input hld file.

wkrzemien/j-pet-framework-examples,wkrzemien/j-pet-framework-examples,wkrzemien/j-pet-framework-examples