diff options
| author | erdgeist <> | 2003-05-25 15:18:53 +0000 |
|---|---|---|
| committer | erdgeist <> | 2003-05-25 15:18:53 +0000 |
| commit | aa7d1f87e273f3b413a2671ced95493e1da30c88 (patch) | |
| tree | 78832f884ec6e1e7982ef180a2a6c2a604c7aa68 | |
| parent | 18de21a2765f1fa33ef313fb20f5baad510cd86d (diff) | |
no-debug
| -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 |