diff Makefile @ 64:ffd5f575edd5

FIX: Work around the bug in "pkg rquery -i" not asking the port's INDEX file. Parse the index file directly.
author Franz Glasner <hg@dom66.de>
date Thu, 21 Mar 2019 15:48:58 +0100
parents c6438f86e605
children 29ede570c816
line wrap: on
line diff