[eacsl] Deactivate PIE in debug mode
When the executable is linked with PIE, it is not possible for E-ACSL to produce an accurate backtrace. This commit deactivate PIE if e-acsl-gcc.sh compiles in debug mode.
Loading
Please register or sign in to comment