diff --git a/test/functional/tools/gzipped_inputs.xml b/test/functional/tools/gzipped_inputs.xml new file mode 100644 index 00000000000..5b73d34005b --- /dev/null +++ b/test/functional/tools/gzipped_inputs.xml @@ -0,0 +1,19 @@ + + + cat $input1 > $out_file1 + + + + + + + + + + + + + + + + diff --git a/test/functional/tools/samples_tool_conf.xml b/test/functional/tools/samples_tool_conf.xml index 9c35b4a5eee..4788a21b132 100644 --- a/test/functional/tools/samples_tool_conf.xml +++ b/test/functional/tools/samples_tool_conf.xml @@ -13,6 +13,7 @@ +