diff options
author | 2017-09-11 11:07:31 +0200 | |
---|---|---|
committer | 2017-09-11 11:07:31 +0200 | |
commit | 865b9e8a95f8ea4f90e9fddd458d14c68a9ed08f (patch) | |
tree | f59e793900e6835b8bbd1e44b899d571c5319747 /checker/print.ml | |
parent | 550309f90cfd1786cdc9a6ab093992eecac23fd4 (diff) |
Disable OSX signing for temporary artifacts.
The OSX binaries were signed twice with a fake identity, leading to some
obscure errors on Travis in some cases.
We disable code signing for Travis artifacts. For released packages,
a proper signing will be applied manually.
Diffstat (limited to 'checker/print.ml')
0 files changed, 0 insertions, 0 deletions