diff options
Diffstat (limited to 'userspace/Makefile')
| -rw-r--r-- | userspace/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/userspace/Makefile b/userspace/Makefile index 09486c0..7e35096 100644 --- a/userspace/Makefile +++ b/userspace/Makefile @@ -19,10 +19,6 @@ ext2.img: $(PROGS) sudo umount mnt rm mnt -rf -#shell.bin: shell.c -# ${CC} -T sys/oldlinker.ld -shell.c o shell.bin -# objcopy -O binary shell shell.bin - brainfuck: brainfuck.o shell: shell.o simple: simple.o |