This will add a comment at the top of each filter file saying:
filter_file. Generated from filter_file.in by configure.
17 files changed:
#!/bin/sh
+# @configure_input@
SED=@SED@
#!/bin/sh
+# @configure_input@
SED=@SED@
#! /bin/sh
+# @configure_input@
dir=`dirname $0`
#!/bin/sh
+# @configure_input@
SED=@SED@
#! /bin/sh
+# @configure_input@
SED=@SED@
#! /bin/sh
+# @configure_input@
SED=@SED@
#! /bin/sh
+# @configure_input@
# filter the output of gdb.
#! /bin/sh
+# @configure_input@
# used to filter memcheck output shown by gdb/vgdb.
#! /bin/sh
+# @configure_input@
dir=`dirname $0`
#! /bin/sh
+# @configure_input@
dir=`dirname $0`
#! /bin/sh
+# @configure_input@
dir=`dirname $0`
#! /bin/sh
+# @configure_input@
SED=@SED@
#! /bin/sh
+# @configure_input@
SED=@SED@
#! /bin/sh
+# @configure_input@
dir=`dirname $0`
#! /bin/sh
+# @configure_input@
SED=@SED@
#! /bin/sh
+# @configure_input@
dir=`dirname $0`
#! /bin/sh
+# @configure_input@
SED=@SED@