diff options
Diffstat (limited to 'userspace/Makefile')
| -rw-r--r-- | userspace/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/userspace/Makefile b/userspace/Makefile index 2434008..86c221e 100644 --- a/userspace/Makefile +++ b/userspace/Makefile @@ -6,6 +6,7 @@ CFLAGS+=-I.. CFLAGS+=-w CFLAGS+=-std=gnu11 CFLAGS+=-O3 +CFLAGS+=-g PROGS=foolshell ls simple brainfuck add checker clear task1 task2 init |