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
| -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 | 
