diff options
| author | 2015-05-07 11:59:05 +0200 | |
|---|---|---|
| committer | 2015-05-07 11:59:05 +0200 | |
| commit | 4c7b1e344bc79c8323a8b50cbc2ad9ff32b8a245 (patch) | |
| tree | 092a21a15be99b12e821ad4590239960bb674e6d /makefile | |
| parent | 3034cb645148509387f72088baad0b5dd8ec2a24 (diff) | |
No optimization for PROFILE otherwise symbols are not right (nw)
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -341,7 +341,6 @@ endif ifdef PROFILE PROFILER = SYMBOLS = 1 -OPTIMIZE = 3 ifndef SYMLEVEL SYMLEVEL = 1 endif |
