1
2include $(XEN_ROOT)/Config.mk
3
4.PHONY: default
5default:
6	$(MAKE) symbols
7
8.PHONY: clean
9clean:
10	rm -f *.o symbols
11
12symbols: symbols.c
13	$(HOSTCC) $(HOSTCFLAGS) -o $@ $<
14