diff options
| author | Michal Idziorek <m.i@gmx.at> | 2014-11-23 20:48:34 +0100 |
|---|---|---|
| committer | Michal Idziorek <m.i@gmx.at> | 2014-11-23 20:48:34 +0100 |
| commit | 50300fa573bf2bc00f9732e812d54ab77cf03dd7 (patch) | |
| tree | 7a998723578e601b427e17f9e90e7ce8dbb7c5d2 /userspace/Makefile | |
| parent | 61eff36a01a2639efeb515ec32f578ba99d97ff4 (diff) | |
mostly pr and cosmetics
Diffstat (limited to 'userspace/Makefile')
| -rw-r--r-- | userspace/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/userspace/Makefile b/userspace/Makefile index d66afd2..55e78bc 100644 --- a/userspace/Makefile +++ b/userspace/Makefile @@ -1,7 +1,10 @@ CC=i686-foolos-gcc -CFLAGS=-w -PROGS=shell simple brainfuck add checker ls +CFLAGS= +CFLAGS+=-w +CFLAGS+=-std=gnu11 + +PROGS=shell simple brainfuck add checker ls clear ext2.img: $(PROGS) dd if=/dev/zero of=ext2.img bs=512 count=5000 |