diff options
Diffstat (limited to 'userspace/Makefile')
| -rw-r--r-- | userspace/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/userspace/Makefile b/userspace/Makefile index 3e4a00f..8516bc1 100644 --- a/userspace/Makefile +++ b/userspace/Makefile @@ -7,6 +7,7 @@ CFLAGS+=-w CFLAGS+=-std=gnu11 CFLAGS+=-O3 + PROGS=foolshell ls simple brainfuck add checker clear task1 task2 init ext2.img: $(PROGS) @@ -32,6 +33,7 @@ brainfuck: brainfuck.o foolshell: foolshell.o simple: simple.o add: add.o + $(CC) -o $@ $< -lm checker: checker.o task1: task1.o task2: task2.o |