diff options
Diffstat (limited to 'xen/tools/Makefile')
| -rw-r--r-- | xen/tools/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/xen/tools/Makefile b/xen/tools/Makefile index 67c48ce168..70a37092db 100644 --- a/xen/tools/Makefile +++ b/xen/tools/Makefile @@ -11,6 +11,5 @@ clean: $(MAKE) -C figlet clean rm -f *.o symbols -.PHONY: symbols symbols: symbols.c $(HOSTCC) $(HOSTCFLAGS) -o $@ $< |