diff options
| author | OpenGnSys Support Team <soporte-og@soleta.eu> | 2018-11-05 15:02:20 +0100 |
|---|---|---|
| committer | OpenGnSys Support Team <soporte-og@soleta.eu> | 2019-01-17 13:18:36 +0100 |
| commit | 8d6d833770b39e1e4b9c6f924c81b1ef2eea1d6c (patch) | |
| tree | b74f9355e1fae7d40fc73ba956e90f608707ed0d /sources | |
| parent | ef6e3d263c7801df77e3a9a802c3c5dcce0a0eb3 (diff) | |
#884 do not strip off symbols
Nor use -O3 since this generates code that is harder to debug.
Compile binary that can be run inside valgrind for better debugging.
Diffstat (limited to 'sources')
0 files changed, 0 insertions, 0 deletions