From 5e96ab4c0a8066fc58699be6659613d312336543 Mon Sep 17 00:00:00 2001 From: perry Date: Mon, 5 Jan 1998 19:28:16 +0000 Subject: [PATCH] make script insert RCS ids into generated files --- sys/dev/pci/devlist2h.awk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sys/dev/pci/devlist2h.awk b/sys/dev/pci/devlist2h.awk index 7618cc4f60bf..c58c84548ce0 100644 --- a/sys/dev/pci/devlist2h.awk +++ b/sys/dev/pci/devlist2h.awk @@ -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