17 lines
494 B
Bash
17 lines
494 B
Bash
|
#!/usr/bin/bash
|
||
|
|
||
|
# Trying to convert float -> long suggests you're probably trying to compute a
|
||
|
# time period in float, then add it to a timestamp to get some time in the future.
|
||
|
# If you do this naively, it'll try and do
|
||
|
# float offset;
|
||
|
# int64_t stamp;
|
||
|
# int64_t result = (int64_t)((float)stamp + offset);
|
||
|
# The resulting loss of precision is unacceptable.
|
||
|
|
||
|
set -euo pipefail
|
||
|
|
||
|
if grep "bl.*<__aeabi_f2lz>" build/rusefi.list; then
|
||
|
echo "Illegal float-to-long conversion detected!"
|
||
|
exit 1
|
||
|
fi
|