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 7efc161..5d94a41 100644 --- a/userspace/Makefile +++ b/userspace/Makefile @@ -5,6 +5,7 @@ CFLAGS= CFLAGS+=-I.. CFLAGS+=-w CFLAGS+=-std=gnu11 +CFLAGS+=-O3 PROGS=foolshell ls simple brainfuck add checker clear |