Change Details

If the source package was produced for a previous host, don't redo it, just use the existing one With this change, it becomes necessary to manually delete the `output/` dir when running the build on a different commit or on a different version, or else the source package will not be recreated and there is a risk of picking up the wrong version number.

If the source package was produced for a previous host, don't redo it, just use the existing one With this change, it becomes necessary to manually delete the `output/` dir when running the build on a different commit or on a different version, or else the source package will not be recreated. A sanity check is added to catch the case of an existing source tarball with a different release version.

If the source package was produced for a previous host, don't redo it, just use the existing one With this change, it becomes necessary to manually delete the `output/` dir when running the build on a different commit or on a different version, or else the source package will not be recreated and there is a risk of pick. A sanity check is added to catch the case of an existing up the wrong version numbersource tarball with a different release version.