diff options
Diffstat (limited to 'extras/mini-os/xenbus/Makefile')
-rw-r--r-- | extras/mini-os/xenbus/Makefile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/extras/mini-os/xenbus/Makefile b/extras/mini-os/xenbus/Makefile deleted file mode 100644 index b61820a9cb..0000000000 --- a/extras/mini-os/xenbus/Makefile +++ /dev/null @@ -1,9 +0,0 @@ -all: xenstore.h xenbus_comms.o xenbus_xs.o xenbus_probe.o - -xenstore.h: - [ -e xenstored.h ] || ln -sf ../../../tools/xenstore/xenstored.h xenstored.h - -clean: - #Taken care of by main Makefile - #rm xenstored.h - #rm *.o |