aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xmutator.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/mutator.sh b/mutator.sh
index 9ba8439..334cfef 100755
--- a/mutator.sh
+++ b/mutator.sh
@@ -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