1 --- misc/run-roh.pl.orig 2017-10-18 09:33:24 UTC
3 @@ -97,7 +97,7 @@ sub cmd
7 - exec('/bin/bash', '-o','pipefail','-c', $cmd) or error("Failed to run the command [/bin/sh -o pipefail -c $cmd]: $!");
8 + exec('/bin/sh', '-c', $cmd) or error("Failed to run the command [/bin/sh -c $cmd]: $!");
11 if ( exists($args{exit_on_error}) && !$args{exit_on_error} ) { return @out; }