Additionally, looking at the build log the actual builds happens only in the directory that was specified first, ie. build-android/ at the moment and build-desktop with the patch. So it does not look like it's actually doing any double building, but just copying the same files in two packages which have different dependencies.
Additionally, looking at the build log the actual builds happens only in the directory that was specified first, ie. build-android/ at the moment and build-desktop with the patch. So it does not look like it's actually doing any double building, but just copying the same files in two packages which have different dependencies.