make script insert RCS ids into generated files

This commit is contained in:
perry 1998-01-05 19:28:16 +00:00
parent c915c7718d
commit 5e96ab4c0a

View File

@ -1,5 +1,5 @@
#! /usr/bin/awk -f
# $NetBSD: devlist2h.awk,v 1.2 1996/01/22 21:08:09 cgd Exp $
# $NetBSD: devlist2h.awk,v 1.3 1998/01/05 19:28:16 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