diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-10-14 18:53:07 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-12-10 16:43:45 +0100 |
| commit | 063637ec77bbb3f3b809d616005cb80d0cdc64b1 (patch) | |
| tree | 05f497f229c4edb1581df8030b90a7117ce70431 /core/core_builders.py | |
| parent | ae86d907e75c3de9b039e7cc77e521bc9739e6dc (diff) | |
Rename `float=64` SCons option to `precision=double`
This avoids confusion with the old `bits=64` option and building
for 64-bit CPUs in general.
Diffstat (limited to 'core/core_builders.py')
0 files changed, 0 insertions, 0 deletions