TOOLS	= ../tools

all:	server

clean:
	rm -f server