diff options
Diffstat (limited to 'xen/tools/Makefile')
-rw-r--r-- | xen/tools/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/xen/tools/Makefile b/xen/tools/Makefile index 8252970158..04d7020cd8 100644 --- a/xen/tools/Makefile +++ b/xen/tools/Makefile @@ -1,6 +1,13 @@ +include $(BASEDIR)/../Config.mk + default: $(MAKE) -C figlet + $(MAKE) symbols clean: - $(MAKE) -C figlet clean
\ No newline at end of file + $(MAKE) -C figlet clean + rm -f *.o symbols + +symbols: symbols.c + $(HOSTCC) -o $@ $< |