diff options
| author | bloodstalker <thabogre@gmail.com> | 2017-02-26 08:34:34 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2017-02-26 08:34:34 +0000 |
| commit | 68f41fae81081f3c0b7baa1b03e12379046abc7d (patch) | |
| tree | e60b72725b533acab5469ac85ccf0945274d06b3 | |
| parent | now the option vector is being populated and updated correctly based on the i... (diff) | |
| download | mutator-68f41fae81081f3c0b7baa1b03e12379046abc7d.tar.gz mutator-68f41fae81081f3c0b7baa1b03e12379046abc7d.zip | |
added variable indirection for the exec_options since the new options have double quotes and their untimely expansion messes things up
Diffstat (limited to '')
| -rwxr-xr-x | mutator.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -107,7 +107,7 @@ do if [[ "$F_END_ACTION" == run ]]; then echo "running $F_ACTION_NAME ..." echo "running ./$F_EXEC_NAME $F_EXEC_COPTS $F_IN_FILES -- $F_LIBTOOLING_OPTS > $F_OUT_FILE for $F_ACTION_NAME" - "./"$F_EXEC_NAME $F_EXEC_COPTS $F_IN_FILES -- $F_LIBTOOLING_OPTS > $F_OUT_FILE + "./"$F_EXEC_NAME ${!F_EXEC_COPTS} $F_IN_FILES -- $F_LIBTOOLING_OPTS > $F_OUT_FILE if [[ "$F_PRINT_PRETTY" = true ]]; then echo "running pretty print..." source ./extra-tools/ReportPrintPretty.sh $F_OUT_FILE $F_OUT_FILE-pretty |