diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2017-12-13 21:51:52 +0100 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2017-12-13 23:53:48 +0100 |
| commit | 0b5e329a8ba2461ccb7017d3adfc972f9dccd830 (patch) | |
| tree | 61fe422eeca8c5bd5cb2de6060f11e71343d4602 /debian/apt.postinst | |
| parent | 1adcf56bec7d2127d83aa423916639740fe8e586 (diff) | |
deal with floats without old-style cast
We have no speed problem with handling floats/doubles in our progress
handling, but that shouldn't prevent us from cleaning up the handling
slightly to avoid unclean casting to ints.
Reported-By: gcc -Wdouble-promotion -Wold-style-cast
Diffstat (limited to 'debian/apt.postinst')
0 files changed, 0 insertions, 0 deletions