On 6/10/20, Stefan E?er <se at freebsd.org> wrote:> Am 10.06.20 um 15:45 schrieb Donald Wilde:
>> On 6/10/20, Mark Linimon <linimon at lonesome.com> wrote:
>>> On Tue, Jun 09, 2020 at 08:09:21PM -0700, Donald Wilde wrote:
[snip]>>> x3850-1# grep gcc INDEX-13 | wc -l
>>> 3848
>>>
>> Hmmm... tried running that and mine doesn't seem to find INDEX-13
as a
>> file.
>>
>> Tried ' find / -name "INDEX-13" '
>
> You have to either create or fetch the INDEX file:
>
> $ cd /usr/ports
> $ make index
>
> or
>
> $ cd /usr/ports
> $ make fetchindex
>
> Regards, STefan
>
Thanks, Stefan!
Memo to self: figure out what basic options are supported in
Makefiles, especially in /usr/ports/, and make clear documentation
patches (if needed). :D
--
Don Wilde
****************************************************
* What is the Internet of Things but a system *
* of systems including humans? *
****************************************************