diff options
Diffstat (limited to 'stubdom/c/Makefile')
| -rw-r--r-- | stubdom/c/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/stubdom/c/Makefile b/stubdom/c/Makefile index cd74490aef..b5cb8e2cd7 100644 --- a/stubdom/c/Makefile +++ b/stubdom/c/Makefile @@ -4,10 +4,7 @@ include $(XEN_ROOT)/Config.mk all: main.a -main-c.c: - ln -sf $(XEN_ROOT)/extras/mini-os/main.c $@ - -main.a: main-c.o main.o +main.a: main.o $(AR) cr $@ $^ clean: |