diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2013-04-16 23:16:51 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2013-04-16 23:16:51 +0200 |
| commit | 073464feebed0b8139b52b2045c71e20b6d8ab44 (patch) | |
| tree | acb4d88f976c872da084c6ce2048189d6494ea56 /microkernel/mach/gnumach/interface/syscall/mach_print/Makefile | |
| parent | 65351e6ce5ca902e210ec10b2abbc6dd5e48041a (diff) | |
IRC.
Diffstat (limited to 'microkernel/mach/gnumach/interface/syscall/mach_print/Makefile')
| -rw-r--r-- | microkernel/mach/gnumach/interface/syscall/mach_print/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/interface/syscall/mach_print/Makefile b/microkernel/mach/gnumach/interface/syscall/mach_print/Makefile new file mode 100644 index 00000000..8590ef7f --- /dev/null +++ b/microkernel/mach/gnumach/interface/syscall/mach_print/Makefile @@ -0,0 +1,9 @@ +CFLAGS = -O0 -g3 + +mach_print: main.o mach_print.o + gcc -o mach_print main.o mach_print.o + +clean: + rm -f mach_print *.o + +.PHONY: clean |
