diff --git a/elements/pkg-map/bin/pkg-map b/elements/pkg-map/bin/pkg-map index 8f3fc1283..fba7255c4 100755 --- a/elements/pkg-map/bin/pkg-map +++ b/elements/pkg-map/bin/pkg-map @@ -64,6 +64,10 @@ def main(): map_file = '/usr/share/pkg-map/%s' % args.element if not os.path.exists(map_file): eprint('Map file for %s element does not exist.' % args.element) + if args.missing_ok: + for name in extra: + print(name) + sys.exit(0) sys.exit(2) with open(map_file) as fd: