diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index f479778..af70a56 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -46,8 +46,8 @@ CP = cp -f AR = ar -#OPT = -g -#OPT = -O3 -DTEST_ICE +#OPT = -g -O0 +#OPT = -O3 OPT = -O3 -finline-functions XOPT = |