Pino Toscano 6d5447afe8 pkg-map: respect --missing-ok also on missing pkg-map file ...

When there is no pkg-map file for the specified element, list the passed
packages if --missing-ok is specified.

This mirrors what is being done already later, when a pkg-map file
exists but it does not have the mapping for the requested package.

Change-Id: I50287f8e6a5e4335deb3de2252075b8bfdd53ce5

2015-02-23 19:08:09 +01:00

..

pkg-map

pkg-map: respect --missing-ok also on missing pkg-map file

2015-02-23 19:08:09 +01:00