ignore-modules is inconsistent
I have this module-set in my
module-set exampleignore repository kde-projects use-modules frameworks ignore-modules gpgme libgpg-error end module-set
When I run kdesrc-build (with --pretend or without), this is part of the output:
Building gpgme (28/86) No source update, but /zbigone/src/kde/build/gpgme/Makefile is missing Updating gpgme (to branch master) Source update complete for gpgme: no files affected
It isn't ignoring gpgme (or the other ones) as instructed. I want to ignore them, because the system versions should be used or the sources are unfetchable or the build tools not available. But they're not ignored.
When I use the --ignore-modules cli option, though:
$ ./kdesrc-build --pretend exampleignore --ignore-modules gpgme libgpg-error <lots of output snipped> Building syndication from exampleignore (84/84) Updating syndication (to branch master) No changes to syndication source, proceeding to build.
notice that the count of modules has gone down by two; gpgme and libgpg-error are not built.
The two should be consistent.