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)
This will help understanding typos, script bugs, etc.


No differences found