Subject: Re: Problem with make build
To: Andrew Herdman <>
From: Todd Whitesel <>
List: current-users
Date: 10/06/1998 19:28:35
> lint2: cannot open get_in_tkt.ln: No such file or directory

Some of us were getting this a few weeks ago, and the suggested short-term
fix (which worked for me) was to suppress the linting of this file until a
long-term fix appears in the tree. IIRC:

echo ".NOPATH: get_in_tkt.ln" >> Makefile

Todd Whitesel
toddpw @