diff options
Diffstat (limited to 'stubdom/c/Makefile')
| -rw-r--r-- | stubdom/c/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/stubdom/c/Makefile b/stubdom/c/Makefile new file mode 100644 index 0000000000..6262095b66 --- /dev/null +++ b/stubdom/c/Makefile @@ -0,0 +1,9 @@ +XEN_ROOT = ../.. + +include $(XEN_ROOT)/Config.mk + +main.a: main.o + $(AR) cr $@ $^ + +clean: + rm -f *.a *.o |