run.sh: print the command that runs
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 23:36:40 +0000 (15:36 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 23:36:40 +0000 (15:36 -0800)
commitdc83c88bb4917edbc9ad07f1ab942172fab72a72
tree88707e9577baa6e16458940502b36d60ef3f28bb
parent53f0d3f9d56fd6341ef725ce8651661d6d9d906e
run.sh: print the command that runs

This will help understanding typos, script bugs, etc.
run.sh