diff options
| author | Christian Tismer <tismer@stackless.com> | 2018-09-10 10:06:32 +0200 |
|---|---|---|
| committer | Christian Tismer <tismer@stackless.com> | 2018-09-13 06:55:54 +0000 |
| commit | b446b4e54cad80ff8eb7b311e97adf6f7a587086 (patch) | |
| tree | f874dfc696104c4858db24bc111077e3f51365ac /build_scripts/utils.py | |
| parent | 70d241713ae375124eaabdd928fcdfd034822c6e (diff) | |
Update the Signature Registry After Reset
New exists_{platf}_{version}_ci.py have created, after the
registry was reset in the last commit.
We had a problem with differences between Linux versions
which led to incompatibilities.
Therefore, the platform name has been changed for Linux:
We now distinguish Linux platforms by name and version
by using platform.linux_distribution([:2]).
Example.. "Ubuntu 16.04" becomes 'ubuntu1604'.
When this checkin succeeds, we will need another last checkin.
Change-Id: I98511ee6fc3273055d1990a2cf4f2c028a430455
Reviewed-by: Friedemann Kleint <Friedemann.Kleint@qt.io>
Diffstat (limited to 'build_scripts/utils.py')
0 files changed, 0 insertions, 0 deletions