diff options
author | Roman Grundkiewicz <rgrundki@exseed.ed.ac.uk> | 2019-08-07 19:14:20 +0300 |
---|---|---|
committer | Roman Grundkiewicz <rgrundki@exseed.ed.ac.uk> | 2019-08-07 19:14:48 +0300 |
commit | c52b80b6e4e7079f899b13f2f29fc571e2c944a3 (patch) | |
tree | 61f36a5ce83ffca8ae8900f880b1928d978cf69d | |
parent | 28aa9267953a8816f05da9ae8177effce9003be0 (diff) |
Run setup.sh scripts with -v option
-rwxr-xr-x | run_mrt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -124,7 +124,7 @@ do log "Running setup script" cd $test_dir - $SHELL setup.sh &> setup.log + $SHELL -v setup.sh &> setup.log if [ $? -ne 0 ]; then log "Warning: setup script returns a non-success exit code" success=false |