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 |