changeset 2:d71d20536d3b draft default tip

Uploaded
author fubar
date Tue, 24 Nov 2020 22:44:54 +0000
parents c5d770f2afea
children
files tacrev/tacrev.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/tacrev/tacrev.xml	Tue Nov 24 22:04:10 2020 +0000
+++ b/tacrev/tacrev.xml	Tue Nov 24 22:44:54 2020 +0000
@@ -14,7 +14,7 @@
     <exit_code range="1:" level="fatal"/>
   </stdio>
   <version_command/>
-  <command interpreter="bash"><![CDATA[$runMe <
+  <command><![CDATA[bash $runMe <
 $input1
 >
 $outfile]]></command>