diff --git a/tools/filters/headWrapper.xml b/tools/filters/headWrapper.xml index 30776b148ac..e9f1aab9bf9 100644 --- a/tools/filters/headWrapper.xml +++ b/tools/filters/headWrapper.xml @@ -6,7 +6,11 @@ coreutils - + + + + '$out_file1' && @@ -36,6 +40,15 @@ + + + + + + + + +