PR/57533 CVS commit: src/usr.bin/xlint/lint1

["Luke Mewburn" <lukem%netbsd.org@localhost>]

The following reply was made to PR bin/57533; it has been noted by GNATS.

From: "Luke Mewburn" <lukem%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/57533 CVS commit: src/usr.bin/xlint/lint1
Date: Fri, 21 Jul 2023 15:00:32 +0000

 Module Name:	src
 Committed By:	lukem
 Date:		Fri Jul 21 15:00:32 UTC 2023
 
 Modified Files:
 	src/usr.bin/xlint/lint1: Makefile makeman
 
 Log Message:
 lint: use TOOL_SED instead of sed
 
 Use ${TOOL_SED} instead of (the host) sed, as the
 latter doesn't necessarily support the non-POSIX -E.
 
 PR bin/57533
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.99 -r1.100 src/usr.bin/xlint/lint1/Makefile
 cvs rdiff -u -r1.6 -r1.7 src/usr.bin/xlint/lint1/makeman
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.