make script insert RCS ids into generated files

This commit is contained in:
perry 1998-01-05 19:37:08 +00:00
parent 5e35a0595e
commit e6fe83471e
1 changed files with 3 additions and 1 deletions

View File

@ -1,5 +1,5 @@
#! /usr/bin/awk -f
# $NetBSD: devlist2h.awk,v 1.3 1996/06/05 18:32:19 cgd Exp $
# $NetBSD: devlist2h.awk,v 1.4 1998/01/05 19:37:08 perry Exp $
#
# Copyright (c) 1995, 1996 Christopher G. Demetriou
# All rights reserved.
@ -42,6 +42,7 @@ NR == 1 {
printf(" * THIS FILE AUTOMATICALLY GENERATED. DO NOT EDIT.\n") \
> dfile
printf(" *\n") > dfile
printf(" * \$NetBSD\$\n") > dfile
printf(" * generated from:\n") > dfile
printf(" *\t%s\n", VERSION) > dfile
printf(" */\n") > dfile
@ -50,6 +51,7 @@ NR == 1 {
printf(" * THIS FILE AUTOMATICALLY GENERATED. DO NOT EDIT.\n") \
> hfile
printf(" *\n") > hfile
printf(" * \$NetBSD\$\n") > hfile
printf(" * generated from:\n") > hfile
printf(" *\t%s\n", VERSION) > hfile
printf(" */\n") > hfile