On Mon, 01 Jun 2015 at 15:09:43, Gordian Edenhofer wrote: > > > [...] > > > This kind of check would see files which are named e.g. lp:foo as > > > not > > > missing even if they are. > > > > Sure, we only check local files and lp:foo is a remote file. Checking > > remote sources is something that we cannot do properly. > > I did not suggest checking remote sources. > My question was why excluding the check for files with "lp:" in their > name. lp:whatever is a valid name for a local file, why should I expect > them to be remote?
"lp:whatever" is not a valid name for a local file in makepkg(8). In order to avoid confusion with Bazaar/Launchpad URIs, everything that contains "lp:" is considered a remote file. You can check the makepkg source code to convince yourself that it uses the same method for distinguishing between local and remote files. [1] https://projects.archlinux.org/pacman.git/tree/scripts/libmakepkg/util/source.sh.in#n40
