diff --git a/test/functional/tools/identifier_source.xml b/test/functional/tools/identifier_source.xml new file mode 100644 index 00000000000..f32e30528b6 --- /dev/null +++ b/test/functional/tools/identifier_source.xml @@ -0,0 +1,19 @@ + + verifies identifier source can be specified from input + + outputA && + cat $inputA $inputB > outputA +]]> + + + + + + + + + + + +