diff options
| author | Raymaekers Luca <luca@spacehb.net> | 2025-11-14 15:17:18 +0100 |
|---|---|---|
| committer | Raymaekers Luca <luca@spacehb.net> | 2025-11-14 15:17:18 +0100 |
| commit | d8beb0293bde2b758897df2f70118115d6620539 (patch) | |
| tree | e7cea252e63bce2ffc0e456909ec2692d7a0d094 /src/haversine_processor/build.sh | |
| parent | f0208e736ee473e80c8bc0d282ff9d9947374f15 (diff) | |
checkpointmain
Diffstat (limited to 'src/haversine_processor/build.sh')
| -rwxr-xr-x | src/haversine_processor/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/haversine_processor/build.sh b/src/haversine_processor/build.sh index 2cd5f25..73991e9 100755 --- a/src/haversine_processor/build.sh +++ b/src/haversine_processor/build.sh @@ -8,7 +8,7 @@ cd "$ScriptDirectory" #- Globals CommonCompilerFlags="-DOS_LINUX=1 -fsanitize-trap -nostdinc++" CommonWarningFlags="-Wall -Wextra -Wconversion -Wdouble-promotion -Wno-sign-conversion -Wno-sign-compare -Wno-double-promotion -Wno-unused-but-set-variable -Wno-unused-variable -Wno-write-strings -Wno-pointer-arith -Wno-unused-parameter -Wno-unused-function" -LinkerFlags="" +LinkerFlags="-lm" DebugFlags="-g -ggdb -g3" ReleaseFlags="-O3" |