17 lines
494 B
Bash
Executable File
17 lines
494 B
Bash
Executable File
#!/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
|