diff options
| author | Michal Idziorek <m.i@gmx.at> | 2014-12-05 02:45:36 +0100 |
|---|---|---|
| committer | Michal Idziorek <m.i@gmx.at> | 2014-12-05 02:45:36 +0100 |
| commit | 05b104b09292dac40c85aab7ab7b2ea2265d407b (patch) | |
| tree | d98e3bad5b0792d1bfbafa95b94c06fdb64e6d6a /userspace/Makefile | |
| parent | 73c5852c068f3dcd58cdb8617251c5aca59b2460 (diff) | |
playing with external debugging in qemu from gdb
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 |