diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/MIaVAdd | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/MIaVAdd b/tools/MIaVAdd index 8a62377..3d30d63 100755 --- a/tools/MIaVAdd +++ b/tools/MIaVAdd @@ -25,6 +25,9 @@ function allfile() { echo " * along with this program; if not, write to the Free Software" >> $1; echo " * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA." >> $1; echo " */" >> $1; + echo "/*" >> $1; + echo " * \$Id$" >> $1; + echo " */" >> $1; echo "" >> $1; echo "#include <config.h>" >> $1; } |