From a262ae82677f305d1788dc859ecdf48944bfc190 Mon Sep 17 00:00:00 2001 From: Mike Silbersack Date: Fri, 4 Jan 2002 05:27:47 +0000 Subject: [PATCH] Throw the $FreeBSD$s back in, properly escaping them. --- sys/kern/vnode_if.pl | 8 ++++---- sys/tools/vnode_if.awk | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/sys/kern/vnode_if.pl b/sys/kern/vnode_if.pl index 944232edb0a..0cc3cf9039c 100644 --- a/sys/kern/vnode_if.pl +++ b/sys/kern/vnode_if.pl @@ -79,12 +79,12 @@ open(SRC, "<$srcfile") || die "Unable to open input file"; if ($hfile) { open(HEADER, ">$HEADER") || die "Unable to create $HEADER"; # Print out header information for vnode_if.h. - print HEADER <$CFILE") || die "Unable to create $CFILE"; # Print out header information for vnode_if.c. - print CFILE < diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index 944232edb0a..0cc3cf9039c 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -79,12 +79,12 @@ open(SRC, "<$srcfile") || die "Unable to open input file"; if ($hfile) { open(HEADER, ">$HEADER") || die "Unable to create $HEADER"; # Print out header information for vnode_if.h. - print HEADER <$CFILE") || die "Unable to create $CFILE"; # Print out header information for vnode_if.c. - print CFILE <