diff options
| -rwxr-xr-x | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -6,8 +6,8 @@ | |||
| 6 | # configuration # | 6 | # configuration # |
| 7 | ############################################## | 7 | ############################################## |
| 8 | 8 | ||
| 9 | #CFLAGS = -Wall -Os | 9 | CFLAGS = -Wall -Os |
| 10 | CFLAGS = -Wall -g -ggdb | 10 | #CFLAGS = -Wall -g -ggdb |
| 11 | 11 | ||
| 12 | ## use this line when you've got an readline before 4.(x|2) | 12 | ## use this line when you've got an readline before 4.(x|2) |
| 13 | #CFLAGS += -DOLDREADLINE | 13 | #CFLAGS += -DOLDREADLINE |
