Improve run.pl
authorMichal Sojka <sojkam1@fel.cvut.cz>
Mon, 6 Oct 2014 12:19:54 +0000 (14:19 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Mon, 6 Oct 2014 12:19:54 +0000 (14:19 +0200)
commit12da9fdca7b5dd06ac65f9b8aeb349cac7811bb6
tree940838aa7de23834374ddf4a6e1e0b31cb030907
parentf0ceef8171bc3ab04e0974386cc21f2c3606b091
Improve run.pl

- Syntax highlighting in editors now show latester related shell commands
- don't exit (due to set -e) if latester fails
continuous/gw-setup/run.pl