diff --git a/tools/text_processing/text_processing/grep.xml b/tools/text_processing/text_processing/grep.xml index ad7ef265e7..f7d531884d 100644 --- a/tools/text_processing/text_processing/grep.xml +++ b/tools/text_processing/text_processing/grep.xml @@ -8,6 +8,9 @@ grep sed + + + grep --version | head -n 1 '${output}' + '${infile}' > '${output}' #end if ]]> @@ -78,8 +82,8 @@ + - @@ -90,9 +94,9 @@ - - + @@ -103,7 +107,8 @@ - + + @@ -114,7 +119,8 @@ - + + @@ -125,6 +131,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + 9.3 - 0 + 1 23.1