diff options
author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-06-28 18:38:10 +0000 |
---|---|---|
committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-06-28 18:38:10 +0000 |
commit | a787101c9284df991648ce043a97b64dd12b7bc1 (patch) | |
tree | 445334a03a1c1d628053ac19eaf6cb0fc1bf17dc | |
parent | ea089f538ee7e55a3059341901daac8f11eb94c1 (diff) |
shell escape
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@40 ec762483-ff6d-05da-a07a-a48fb63a330f
-rwxr-xr-x | vest/parallelize.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vest/parallelize.pl b/vest/parallelize.pl index 28260155..2fa318de 100755 --- a/vest/parallelize.pl +++ b/vest/parallelize.pl @@ -94,7 +94,7 @@ if ($no_which) { } #$cmd=abspath($cmd); for my $arg (@ARGV) { - $cmd .= " ".shell_escape($arg); + $cmd .= " ".escape_shell($arg); } die "Please specify a command to parallelize\n" if $cmd eq ''; |