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